Rename rust-project-goals to goals

[nxsaken]

We'd like to rename rust-project-goals to just goals, and also the related Zulip channels. Context: #project-goals/meta > Renaming repo/channels

A previous rename (#2522) suggests that stuff needs to be renamed manually. @marcoieni could you help?

cc @nikomatsakis @lcnr

[github-actions]

Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github
[INFO  rust_team::sync] 💻 Repo Diffs:
    ➕ Creating repo:
      Org: rust-lang
      Name: goals
      Description: Rust Project Goals tracker
      Homepage: Some("https://rust-lang.github.io/goals/")
      Auto-merge: true
      Permissions:
        Giving team 'edition' maintain permission
        Giving team 'goal-owners' maintain permission
        Giving team 'goals' maintain permission
        Giving team 'lang' maintain permission
        Giving team 'lang-docs' maintain permission
        Giving team 'lang-ops' maintain permission
        Giving team 'leadership-council' maintain permission
        Giving team 'libs' maintain permission
        Giving team 'libs-api' maintain permission
        Giving team 'release' maintain permission
        Giving team 'types' maintain permission
        Giving user 'rustbot' write permission
        Giving user 'rust-rfcbot' write permission
      Environments:
        - github-pages
            Branches: main
      Pages: workflow
      App Installations:
    📝 Editing repo 'rust-lang/project-goal-reference-expansion':
      New homepage: 'https://github.com/rust-lang/rust-project-goals/blob/main/src/2025h2/reference-expansion.md' => 'https://github.com/rust-lang/goals/blob/main/src/2025h2/reference-expansion.md'

[jieyouxu]

I can help with the zulip channel rename but the rust repo rename needs an infra-admin. So yeah, easier for an infra-admin to take care of the whole sequence.

[jieyouxu]

Team changes look fine, we'd need to:

1. Rename zulip channel
2. Rename github repo
3. Land this PR

in sequence.

[marcoieni]

• Rename zulip channel
• Rename github repo
• Land this PR

I did those things 👍🤞