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
[email protected]
_______________________________________________
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
