Add action for pushing subtree to separate repo
It would be nice to have this occur only on successful merges to master.
It would also need a way of handling the OAuth token needed for pushing.
It would be nice to have this occur only on successful merges to master.
It would also need a way of handling the OAuth token needed for pushing.