Stream: wg-traits

Topic: get everything right before we merge


Jake Goulding (Jan 07 2019 at 19:59, on Zulip):

we have to get everything right before we merge

It's a bit heretical, but you could just let (a group of) people have direct push access. No merging.

Last update: Jul 16 2020 at 15:10UTC