On 10/09/2015 07:49 PM, Mike Kerner wrote:
It's the details that make any system more difficult. For instance, when
you want to merge a change into the main, you do a pull, even though from
your perspective you're pushing.
No, it's just better to pull before pushing.
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.
--
Mark Wieder
ahsoftw...@gmail.com
_______________________________________________
use-livecode mailing list
use-livecode@lists.runrev.com
Please visit this url to subscribe, unsubscribe and manage your subscription
preferences:
http://lists.runrev.com/mailman/listinfo/use-livecode
