devtools repo - move to git

[Jim Jagielski]

Considering that AOO is now, itself, under gitbox, should we also move devtools 
as well over there as well?
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org
For additional commands, e-mail: dev-h...@openoffice.apache.org