ignore "nothing to commit" on git commit and try the push anyways
ignore "nothing to commit" on git commit and try the push anyways

fixes problems if push was unsuccessfull before or if remote repo was deleted and then created again without making changes

chrz89/upb-son-editor-backend,CN-UPB/upb-son-editor-backend,chrz89/upb-son-editor-backend,CN-UPB/upb-son-editor-backend,chrz89/upb-son-editor-backend