Zulip Chat Archive

Stream: general

Topic: defunct branches


view this post on Zulip Scott Morrison (May 06 2019 at 15:05):

I'm trying to clean up a little.

view this post on Zulip Scott Morrison (May 06 2019 at 15:05):

@Simon Hudon, is deploy-olean now defunct?

view this post on Zulip Scott Morrison (May 06 2019 at 15:13):

We have a branch called lean-. Is that meant to be there?

view this post on Zulip Scott Morrison (May 06 2019 at 15:14):

Is the nightly branch serving any purpose now? It hasn't been updated since February.

view this post on Zulip Scott Morrison (May 06 2019 at 15:20):

@Reid Barton, is rwbarton-travis now defunct?

view this post on Zulip Simon Hudon (May 06 2019 at 17:41):

deploy-olean, lean- and nightly are now defunct. Thanks for cleaning up

view this post on Zulip Scott Morrison (May 06 2019 at 19:26):

The lean- branch is protected, and needs a maintainer to delete it.

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Reid Barton (May 10 2019 at 23:26):

Reid Barton, is rwbarton-travis now defunct?

Yes. I deleted it


Last updated: May 15 2021 at 22:14 UTC