#git bot interface
History of !split_repository
@!filter_subdirectory
By canton7 at 2022-01-26 15:17:58
You can use filter-branch to split an existing repository into smaller new repositories. See
http://teach.github.com/articles/lesson-filter-branch/
and !filter_subdirectory
By lb1a at 2013-11-05 15:17:54