These are style-only changes, that are not enforced via tooling - but used mostly consistently in the other github-script files.
Creates a team sync workflow that pushes the current state of teams to a JSON file, which can then be ingested by `lib.teams` to expose member lists. Co-Authored-By: Alexander Bantyev <alexander.bantyev@tweag.io>