Donmai

Merge Pub tag with Bar

Posted under Tags

BUR #23754 has been approved by @nonamethanks.

create alias pub -> bar_(place)

While a pub is technically subset of a bar and having some difference (a pub is more lenient to sell alchohol than bar, while often has some entertainment facility), for tagging purposes they are largely indistinguishable (since 99% of posts with these tags have bar stool involved). So I suppose we should merge them into one tag to avoid redundancy.

Updated

1