20 May
2015
20 May
'15
11:24 a.m.
On May 20, 2015, at 2:00 AM, Tim Blechmann
Which if the library gets accepted will be a problem.. As there will no git repo to transfer ownership of. The library will have to be extracted / and or just source copied.
this can easily be achieved via "git filter-branch --subdirectory-filter" ...
Or perhaps even more easily with git-subtree. Josh