add gymnasium badge
upgrade octokit