Sometimes we forget to make commits. If we're pushing, why not make a commit with all changes? These are easily reverted if the user does not want these changes, but at least they'll be recorded. My suggestion is to push these changes to a new temp_wip branch and push to Github. This way it's safe and won't interfere with the workflow of anything else.