GitHub Label Bot Restored

Hi,

The GitHub label bot has been restored after a few weeks of outage. I have found new hosting, and it seems to be working well. Here is a reminder on how to use it.

When leaving a comment or opening an issue in any Immersive Web repository, if you begin a new line with any of the following: /agenda, /tpac, /facetoface, and comment as to why, the bot will add a corresponding label.

These labels are generally used for building the agenda for their respective events. E.g.

> This issue is an example issue
> 
> /agenda to explain how to use the agenda bot

Anyone in the group is allowed to nominate issues to be discussed.
Issues will be taken up according to the group which manages the topic. I.e. working group issues will be discussed in working group meetings, and community group issues will be discussed in community group meetings.
When we assemble the weekly agenda, if many issues are requested for a particular group, some may be postponed to a future week.

Thank you for your patience. The long downtime was because the bot broke the week I went on leave.

Ada