try to deal with git push change nicely

Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>