message no. 153776
Posted by LeBlaaanc in #github at 2016-10-19T03:28:11Z
ertes sounds right, you'd set that contributors repo as a remote, then merge that remote in
Posted by LeBlaaanc in #github at 2016-10-19T03:28:11Z