Add github team for rust-for-linux

[tmandry]

This makes it possible to give the team repo permissions, like I was attempting to do in #2238. It also makes it easier to @-mention the group.

cc @ojeda

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing crates-io
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    ➕ Creating team:
      Org: rust-lang
      Name: rust-for-linux
      Description: Managed by the rust-lang/team repository.
      Privacy: closed
      Members:
        BennoLossin: member
        Darksonn: member
        alex: member
        bjorn3: member
        dakr: member
        dingxiangfei2009: member
        fbq: member
        maurer: member
        metaspace: member
        nbdd0121: member
        ojeda: member
        tgross35: member
        vincenzopalazzo: member
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/bors':
      Rulesets:
          Ruleset for main
            No changes

[ojeda]

Sounds good to me, thanks!

If there is a better way to ping the group now, then should the pinging notes at https://rustc-dev-guide.rust-lang.org/tests/ecosystem-test-jobs/rust-for-linux.html and/or https://rustc-dev-guide.rust-lang.org/notification-groups/rust-for-linux.html be updated or is that automatic?

[tmandry]

It can be updated once this merges. The benefit (and drawback) of using the github group is that people can filter group mentions separately on github, whereas @rustbot ping does @-mentions of every individual.

[jieyouxu]

It can be updated once this merges. The benefit (and drawback) of using the github group is that people can filter group mentions separately on github, whereas @rustbot ping does @-mentions of every individual.

Note that you can only use the github group @-ping if you are an rust-lang organization member.

[ojeda]

I see, thanks @tmandry @jieyouxu!