[x] In the Github sidebar, add the PR to work items and the current milestone
[x] In the Github sidebar, under "Development", make sure to link to the corresponding issue
[x] Make sure the branch is merged with the latest master branch
[x] Ensure that there are editors listed in the <meta> block
[x] For workshops, add a <venue>ws</venue> tag to its meta block
[x] For workshops, add a backlink from the main event's <event> block
[x] Add events to their relevant SIGs
[x] Look at the venue listing for prior years, and ensure that the new volume titles are consistent. You can do this by clicking on the venue name from a paper page, which will take you to the vendor listing.
master
branch<meta>
block<venue>ws</venue>
tag to its meta block<event>
block