basically implemented, NOT TESTEDgit push