Stop using the timeout label

[braver]

It's not done consistently, and it's not necessary: filtering by closed, unmerged, stale pr's gives the same info. I'm checking the history of pr's and adjusting any that I see with incorrect label. Although I must say we never look back on these labels very much.

And, eh, maybe I can get some level of access to this repo so I can maintain "my own" documentation in here more easily? @FichteFoll

[braver]

Oh, and I could also help maintaining this repo so the build still works...

[FichteFoll]

I used the timeout label a long time ago for some queries but you are right that the stale label mostly covers this already – and for the cases that it does not (author redacts MR after it becomes "stale"), it most likely doesn't even matter. In that case, removing the stale label would basically have the same effect anyway. Regardless, it's your workflow so feel free to document whatever you want in here.

maybe I can get some level of access to this repo so I can maintain "my own" documentation in here more easily?

Hm, I definitely do still want to review changes before they go live, so unless you need to update your documentation very often I'd like to keep it this way for the time being. If I end up not finding the time to review even trivial changes, feel free to raise this point to me again (probably in Discord where I'm more likely to see it).

Oh, and I could also help maintaining this repo so the build still works...

The repo shouldn't require as much attention as it currently does. I have adjusted this via b2ff8de.

[braver]

Works for me! Thanks for the quick turn around on this PR. That was my main worry, having to wait a long time for someone to move something forward. Like you say that doesn't need to happen very often. 👍🏻