push modifications also to github