GitHub topics: github-api
coq/bot
A (Coq Development Team) bot written in OCaml
Language: OCaml - Size: 6.73 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 16
metwork-framework/github_webhook_no_pullrequest_on_master 📦
mfserv plugin to implement a github bot/webhook to forbid pullrequests on master branch
Language: Python - Size: 29.3 KB - Last synced at: about 8 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
metwork-framework/aiohttp_github_helpers 📦
github api helpers for use with aiohttp
Language: Python - Size: 39.1 KB - Last synced at: about 8 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1