Bug#1111230: git-debpush: git-debpush --follow-tags passthrough option?

[Ian Jackson]

Sean Whitton writes ("Bug#1111230: git-debpush: git-debpush --follow-tags 
passthrough option?"):
> After IRC discussion this is what we think we will do:

Excellent summary; I agree in all respects.

Ian.