git will throw an error if you try to push and your commits aren't ancestors of the head of the branch you are pushing. You can get around this by force pushing but don't do that... Nasty... I don't even know why git allows it.
Sent from my iPhone > On 10 Oct 2015, at 4:57 pm, Mark Wieder <[email protected]> wrote: > > That way if anyone has pushed anything to the common repository before your > latest pull from it, you have a chance to get the latest changes locally, > make sure there aren't any conflicts, and only then is it safe to push your > changes up. _______________________________________________ use-livecode mailing list [email protected] Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode
