Remove 'needs rebase' and 'needs work' on new push

[wilzbach]

On "needs work" and "needs rebase" are commonly used to mark an PR as "inactive" (aka depending on user interaction):

https://github.com/dlang/phobos/pulls?q=is%3Aopen+is%3Apr+label%3A%22needs+rebase%22
https://github.com/dlang/phobos/pulls?q=is%3Aopen+is%3Apr+label%3A%22needs+work%22

Thus as a simple first step, this will remove these labels as well when they are existent.

Small gotchas

• AFAIK DMD and Druntime use different labels atm (e.g. DMD has only "Needs Work")
• I think a new push usually displays a contributor interaction and it can be assumed that the required work was done and the PR can go back into the review queue.

[andralex]

cool cool cool

[andralex]

There would be the "remove @andralex" thing after I post a comment (or outright merge the PR), but that's okay :).

[wilzbach]

There would be the "remove @andralex" thing after I post a comment (or outright merge the PR), but that's okay :).

On the stage for a PR idea that @WebDrake proposed, this would be done in some sense.
At least the rough idea is that the "needs decision" stage is then very similar to "@andralex".
Btw if we can also switch to requesting reviews from you directly (instead of the @andralex label) - they would also get automatically get cleared.
(IIRC "@andralex" predates the review feature on GH).

(or outright merge the PR)

This this really matter? Don't you filter for "open" anyways?
Just asking, because it would be trivial to automatically unlabel a PR after merge.

[andralex]

@wilzbach I do filter for open, so no need to do much after merging