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: Nov 18 2019 at 01:30UTC