10 Pull requests merged by 1 person

• Do not rollback branch state in case of a merge failure

  #21 merged Jul 29, 2025

• Implement verbose flag

  #20 merged Jul 29, 2025

• Use GitHub app for PR authentication

  #19 merged Jul 29, 2025

• Add a flag to exit with status code 0 if there is nothing to pull

  #16 merged Jul 23, 2025

• Allow overriding upstream commit to pull from

  #15 merged Jul 23, 2025

• Fix push command in README

  #14 merged Jul 22, 2025

• Allow configuring upstream repository for pull

  #12 merged Jul 14, 2025

• Fix README CI example

  #11 merged Jul 10, 2025

• Add reusable workflow for performing rustc-pull on CI

  #9 merged Jul 10, 2025

• Handle empty diff more precisely

  #10 merged Jul 9, 2025

2 Issues closed by 1 person

• `pull` does not work when there are conflicts

  #18 closed Jul 29, 2025

• The tool is pretty verbose

  #17 closed Jul 29, 2025

1 Issue opened by 1 person

• use a better name for rust-lang/rust checkout directory

  #13 opened Jul 21, 2025