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`
>
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