Commits and authors (opam-sync-github-prs)

Total number of commits (excl. merge): 24