Push does not push tags other than in head commit

[Ducasse]

• create a tag
• create a commit
• push
• the tag is not pushed

self tags is empty in the following method because it returns the tag of the commit which is a new commit.

IceGitLocalBranch>>pushTagsToRemote: aRemote gitRemote: gitRemote progress: pushProgress

	self tags do: [ :tag | 
		self 
			pushTag: tag 
			toRemote: aRemote 
			gitRemote: gitRemote 
			progress: pushProgress ]

Here is a possible fix

IceGitLocalBranch>>pushTagsToRemote: aRemote gitRemote: gitRemote progress: pushProgress

	self repository tags do: [ :tag | 
		self 
			pushTag: tag 
			toRemote: aRemote 
			gitRemote: gitRemote 
			progress: pushProgress ]

[tinchodias]

the possible fix makes sense to me