Rename keyword-generics-initiative repository

[jdno]

The effects initiative has requested that we rename their repository.

🚨 This PR needs to be merged at the same time that we rename the repository on GitHub.

[jackh726]

r? @Mark-Simulacrum

(though, this needs a rebase)

[jdno]

I've rebased the pull request. 👍

[yoshuawuyts]

Is there anything still blocking us from merging this PR?

[Kobzol]

I don't think so, it just needs to be merged in real-time with manually renaming the repo on GH, which makes it slightly tricky.

[marcoieni]

I asked in rust-lang/effects-initiative#44 (comment) if this was still valid and it is.
Can you rebase this again? 🙈

[jieyouxu]

I took the liberty to push a rebase, the merge conflict had nothing for me locally (gh uses a different conflict resolution strategy I think).
FYI @marcoieni

[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] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/bors':
      Rulesets:
          Ruleset for main
            No changes
    ➕ Creating repo:
      Org: rust-lang
      Name: effects-initiative
      Description: Public repository for the Rust effects initiative
      Homepage: Some("https://rust-lang.github.io/keyword-generics-initiative/")
      Auto-merge: true
      Permissions:
        Giving team 'initiative-keyword-generics' write permission
      Environments:
        - github-pages

[marcoieni]

I renamed the repo using github settings, so that merging this should only change the description. We'll see the Actions logs

[marcoieni]

perfect: