message no. 134379
Posted by pi-- in #github at 2016-05-04T14:05:22Z
https://groups.google.com/d/msg/mathbox/vKkMknqa7rg/XiQ9KLZaAQAJ <-- I have contributed to the wiki of another project. But what if someone else does also? How do i synchronise my local repo? If I hit 'sync' that just synchronising my local copy with my GitHub fork, right?