Good point.  As a way of giving an easy place for folks to back
patches up, we could institute a working Koha Git repository that
anybody could push to.  Do others think this would be useful?