Subject: Re: how to check for uncommitted/unstaged changes on remote side before pushing

From: Dennis Kaarsemaker <[email-masked]>
Date: Mon, 09 Nov 2015 10:38:20 +0100

On ma, 2015-11-09 at 10:31 +0100, Marc Haber wrote:
> Abusing git here has the advantage that one can save local changes 
> and merge them, which is handy for the task at hand (which is 
> deploying my dotfiles to "my" servers).

For this I really like vcsh (https://github.com/RichiH/vcsh/) in
combination with a .bashrc.d snippet that updates dotfiles upon login
when possible (
https://github.com/seveas/dotfiles/blob/master/.bashrc.d/vcsh.sh)

-- 
Dennis Kaarsemaker
www.kaarsemaker.net