Feature Request for GitHub Sync script - Give every project lead the maintainer role

Created by: fredg02

Context: GitHub added the "maintain" level/role a while ago (see also https://help.github.com/en/github/setting-up-and-managing-organizations-and-teams/repository-permission-levels-for-an-organization).

It gives the user the following additional permissions:

• Edit a repository's description
• Manage topics
• Enable wikis and restrict wiki editors
• Enable project boards
• Configuring pull request merges
• Configuring a publishing source for "GitHub Pages"
• Push to protected branches
• Create and edit repository social cards
• Limit interactions in a repository

Giving project leads these permission permanently can improve self-servicing and reduce overhead on webmaster's side without dangerous side effects.

This has been discussed here:

• https://bugs.eclipse.org/bugs/show_bug.cgi?id=533471
• https://bugs.eclipse.org/bugs/show_bug.cgi?id=487359#c9

It's also been tested in a few cases:

• https://bugs.eclipse.org/bugs/show_bug.cgi?id=549574
• https://bugs.eclipse.org/bugs/show_bug.cgi?id=547561
• https://bugs.eclipse.org/bugs/show_bug.cgi?id=553418

Copied from: https://bugs.eclipse.org/bugs/show_bug.cgi?id=559859