Also push tags resulting from updating from the debian packages
Importing new debian (and upstream) release will get new tags set; these should be pushed as well instead of just the branch content
Signed-off-by: Sjoerd Simons sjoerd.simons@collabora.co.uk