6 Pull requests merged by 5 people

• fix grammar

  #2545 merged Aug 11, 2025

• place link on the more suitable text

  #2544 merged Aug 11, 2025

• Add a tip for english writing

  #2543 merged Aug 11, 2025

• Remove mentions of Discord.

  #2541 merged Aug 8, 2025

• Only run the pull workflow once per week

  #2540 merged Aug 7, 2025

• Rustc pull update

  #2539 merged Aug 7, 2025

1 Pull request opened by 1 person

• Update bootstrapping docs to account for new stage meanings

  #2546 opened Aug 11, 2025

1 Issue opened by 1 person

• "Keeping your branch up-to-date" might be insufficiently nuanced

  #2542 opened Aug 9, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Update installation.md

  #2535 commented on Aug 12, 2025 • 2 new comments

• "name resolution"

  #16 commented on Aug 13, 2025 • 0 new comments