Merge back cut out tree

[asiboro]

When collaborator(s) assigned to a part of a tree, that part is cut out and stored as a separate repository in GitHub. Implement a feature to merge back that cut out tree to the main tree.