migrated comgt under git as the svn server on onelab.eu is now dead
stupid me
Merge remote-tracking branch 'upstream/master'

Conflicts:
	nornet-tags.mk