From: Dennis Kaarsemaker <dennis@kaarsemaker.net>
Date: Mon, 09 Nov 2015 09:38:20 GMT
Subject: Re: how to check for uncommitted/unstaged changes on remote side before pushing
Message-ID: <1447061900.5074.12.camel@kaarsemaker.net>
In-Reply-To: <20151109093124.GB18762@torres.zugschlus.de>

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