Zulip Chat Archive
Stream: general
Topic: defunct branches
Scott Morrison (May 06 2019 at 15:05):
I'm trying to clean up a little.
Scott Morrison (May 06 2019 at 15:05):
@Simon Hudon, is deploy-olean now defunct?
Scott Morrison (May 06 2019 at 15:13):
We have a branch called lean-. Is that meant to be there?
Scott Morrison (May 06 2019 at 15:14):
Is the nightly branch serving any purpose now? It hasn't been updated since February.
Scott Morrison (May 06 2019 at 15:20):
@Reid Barton, is rwbarton-travis now defunct?
Simon Hudon (May 06 2019 at 17:41):
deploy-olean, lean- and nightly are now defunct. Thanks for cleaning up
Scott Morrison (May 06 2019 at 19:26):
The lean- branch is protected, and needs a maintainer to delete it.
Patrick Massot (May 06 2019 at 19:30):
It seems I don't have rights. We may need someone with super super powers. @Simon Hudon?
Simon Hudon (May 06 2019 at 19:59):
Interesting. Even I can't touch that branch ... until I change the protection settings. Only mathlib-bot can touch it but now I removed its protection
Reid Barton (May 10 2019 at 23:26):
Reid Barton, is
rwbarton-travisnow defunct?
Yes. I deleted it
Last updated: Dec 20 2023 at 11:08 UTC