Checking that pushing to the remote repo still works...