Alessio Treglia 2832941711 Remove -prune flag. ... -prune is unnecessary and misleading. Once a release is cut, .pending/ contents must be recursively removed by git rm -r and changes committed and pushed. Ref #3892		2019-03-20 14:29:41 +01:00
..
gaia	Merge PR #3779: Split Proposal Interface	2019-03-15 17:47:47 +01:00
gosum	replace dep with go mod (#3907)	2019-03-18 13:45:25 +01:00
sdkch	Remove -prune flag.	2019-03-20 14:29:41 +01:00