Gnu Global git repo for debian packaging