Just to clarify: Does this mean we can now push to github immediately without worrying about what the original location of the repository is? Or will this cause overhead and you want us to push to the gitbox repository?
Regards Stefaan Dutry (sdutry) --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
