4 Commits

Author	SHA1	Message	Date
Jakub Beránek	7fb252d7fe	Add `@bors rollup=never` to rustc-push PR body	2025-01-21 17:00:28 +01:00
Jakub Beránek	482ebfbbae	Error if there is nothing to pull	2025-01-08 17:52:01 +01:00
Jakub Beránek	c92957d38a	Print an explicit message if the base repo head commit is up-to-date	2025-01-08 17:52:01 +01:00
Jakub Beránek	4a73ebae45	Add tooling for performing Josh synces (#2183)	2025-01-05 17:51:45 +01:00