+1 let’s do it. We should open a ticket in JIRA for this. On Mon, Dec 17, 2018 at 16:45 <dev-digest-h...@joshua.apache.org> wrote:
> > dev Digest 17 Dec 2018 16:45:10 -0000 Issue 304 > > Topics (messages 2451 through 2451) > > moving to Gitbox > 2451 by: Tommaso Teofili > > Administrivia: > > --------------------------------------------------------------------- > To post to the list, e-mail: dev@joshua.apache.org > To unsubscribe, e-mail: dev-digest-unsubscr...@joshua.apache.org > For additional commands, e-mail: dev-digest-h...@joshua.apache.org > > ---------------------------------------------------------------------- > > > > > ---------- Forwarded message ---------- > From: Tommaso Teofili <tommaso.teof...@gmail.com> > To: d...@joshua.incubator.apache.org > Cc: > Bcc: > Date: Mon, 17 Dec 2018 17:44:29 +0100 > Subject: moving to Gitbox > Hi all, > > Given the recent announcement about gitbox.apache.org [1] (seamless > integration with GitHub) I was wondering about moving from git-ws* to > gitbox to allow better PR support (we can merge PRs by clicking > *merge* button from Github), that may help us towards more and more > effective contributions. > > WDYT? > > Regards, > Tommaso > > [1] : https://gitbox.apache.org/ > > -- http://home.apache.org/~lewismc/ http://people.apache.org/keys/committer/lewismc
