This tip may be useful for those working on a local GIT tree, but in need to “export” it to a remote server (for example for building and testing). I know that ideally one would “push” the changes to a commonly-accessible remote server, and pull back from the build/testing host. But sometimes we simply don’t [...]