6 Aug
2019
6 Aug
'19
10:27 a.m.
On Tue, 6 Aug 2019 at 11:14, Daniel Stone daniel@fooishbar.org wrote:
The idea I had a few weeks ago was to have dim use 'git push --push-option fdo.pushedWithDim=this-was-pushed-with-dim-and-not-manually', then have the hooks on the server side check for that option and refuse any direct pushes. (Or at least, if people are pushing directly, they have to _really_ try to be doing it, and can't do it by accident.)
Let me try and write a DIM patch for that.
-Emil