2017-09-23 21:39 GMT+02:00 Stefaan Dutry <sdu...@apache.org>: > 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?
You can either push to Apache Gitbox or Github (but you must do the account configuration as I have posted early). What is more important we can merge PRs directly using GitHub (no more fetching PRs locally and pushing). Regards -- Łukasz + 48 606 323 122 http://www.lenart.org.pl/ --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@struts.apache.org For additional commands, e-mail: dev-h...@struts.apache.org
