Hi, Once I have cloned my github repository and committed changes locally, how do I actually get those changes back to github? I went to synchronize repository > push > publish all, and it has a loading bar for a few seconds that says "pushing local commits to origin," but github reflects no changes. ssh -T confirms that github recognizes my key, and I'm using a stable pharo 7 from within the last week or so. Any help would be appreciated.
Thanks, Evan
