Our bots π€:
-
Myrmica Lobicornis π: Update and Merge Pull Request
-
Myrmica Aloba π: Add labels and milestone on pull requests and issues.
-
Messor Structor π: Manage multiple documentation versions with Mkdocs.
-
Lasius Mixtus π: Publish Documentation to a GitHub Repository from another.
-
Myrmica Bibikoffi π: Closes stale issues
-
Chalepoxenus Kutteri π: Track a GitHub repository and publish on Slack.
-
Myrmica Gallienii π: Keep Forks Synchronized
-
stackoverflow-slack-bot: Track a tag on StackOverflow and push to Slack
Our tools π§: