-
-
Notifications
You must be signed in to change notification settings - Fork 14.1k
Closed
Labels
C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.
Milestone
Description
I noticed just now that the linux2 bot was building a version of the "incoming" branch that had 4 more revisions that were newer than it. For branches like incoming that don't get pushed to with -f, the bot should pick the newest one first (or only build the newest one).
This might require a way to configure rustbot to know which branches may have had force pushes (and obviously that depends on people with commit access to not do a mistaken force-push, too...)
Metadata
Metadata
Assignees
Labels
C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.