git service was unavailable; it's now back

Hi all

The git service at git.banu.com was unavailable to the general public
(although git-daemon was started) for the last 2 days because it was
firewalled by mistake. It was noticed today and has been fixed.

		Mukund