message no. 177485
Posted by holgersson in #github at 2020-03-02T20:16:37Z
chealer: manually with fetching into your local copy and then pushing. I don't know if the github.com UI supports it.
Posted by holgersson in #github at 2020-03-02T20:16:37Z