- https://allcontributors.org/docs/en/bot/usage - Need to merge this PR first: https://github.com/gambitproject/gambit/pull/565