Converts trac tickets to github issues.
BSD-3-CLAUSE License
Statistics for this project are still being loaded, please check back later.
Update and check cached licenses in a GitHub Actions workflow
A (Coq Development Team) bot written in OCaml
Simple changelog generator via GitHub releases
Gather metrics on issues/prs/discussions such as time to first response, count of issues opened, ...
Ruby toolkit for the GitHub API
Migrates Jira issues to Github
A Quarkus-powered application that regularly sends short lists of GitHub issues for triagers/main...