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