message no. 158657
Posted by synfinatic in #github at 2016-12-08T17:37:23Z
so you have devel in both github (PR's) and svn and want to merge the two... ew. so technically you can do that (with limitations) but I don't recommend it. here's one way: https://github.com/mrts/git-svn-bridge