check if push to github is correctly done