Stream: t-cargo/PubGrub

Topic: Some repo cleanup


view this post on Zulip Matthieu Pizenberg (Oct 17 2020 at 22:03):

I was doing some cleaning with some of my issues, branches, and branches of merged PR and remove a branch by mistake on the PR that @Eh2406 did based on my work on eager intersection of terms. It's reopened. Sorry for emails.

view this post on Zulip Matthieu Pizenberg (Oct 17 2020 at 22:04):

@Alex Tokarev do you still need the branch deterministic_ordering_multiple_implementations around?

view this post on Zulip Alex Tokarev (Oct 17 2020 at 22:08):

I don't; it is just there as a reference. A local copy for me should be enough, so if you think it doesn't add any value I'll delete it.

view this post on Zulip Matthieu Pizenberg (Oct 17 2020 at 22:11):

ok, let's keep it if the reference can be useful for the time being

view this post on Zulip Alex Tokarev (Oct 18 2020 at 00:18):

I've set up auto delete for merged branches to avoid future work.


Last updated: Oct 21 2021 at 21:02 UTC