You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You can point multiple GitHub repositories' webhooks to the bot, so that they all get reported in IRC.
If you do so, any push event will cause the bot to pull and reload, without taking the repositor in question into account.
The bot should only pull and reload if the change is to the bot's repo (i.e. https://github.com/zuzakistan/civilservant) or alternatively whichever remote is set as origin.
The text was updated successfully, but these errors were encountered:
Related to #137
You can point multiple GitHub repositories' webhooks to the bot, so that they all get reported in IRC.
If you do so, any
push
event will cause the bot to pull and reload, without taking the repositor in question into account.The bot should only pull and reload if the change is to the bot's repo (i.e. https://github.com/zuzakistan/civilservant) or alternatively whichever remote is set as
origin
.The text was updated successfully, but these errors were encountered: