r- force has a weird outcome

[nagisa]

See rust-lang/rust#33441 (comment).

Namely, it should behave as if plain r- (i.e. cancel the build) without printing any messages. Currently it takes another PR on top of the queue and “forces” that.

[nagisa]

Migration of barosl#150

[Manishearth]

I believe this is intentional behavior. force doesn't force the current PR, it cancels the current build and builds whatever should be built next. Thus, r- force on the PR being built can be used to stop its build, and r+ p=1000 force can be used to make the PR get built.