better targetting of git pushing