Re: [git-users] Re: Need help in Git

2016-05-16 Thread Konstantin Khomoutov
On Mon, 16 May 2016 19:56:20 +0300 Konstantin Khomoutov wrote: [...] > Something along this lines could be a good start: > > #!/bin/sh > > set -e -u > > while read _ our _ their; do > out=`git diff --name-status --diff-filter=D $their $our` >

Re: [git-users] Re: Need help in Git

2016-05-16 Thread Konstantin Khomoutov
On Mon, 16 May 2016 08:10:32 -0700 (PDT) Sanjiv Kumar wrote: > > I wanted to avoid push if any of the files is deleted from the > > local git clone area. Can anyone please help me with that? > > > > I am using Stash for repository management. > > On our side we need