Rare project developers

[mc36 <>]

hi,

On 2/7/23 11:00, mc36 wrote:
> > Just remove and re-add the tag. I have enabled some debugging to see
> > why it fails when you do this.
> i'll do it right now...

mc36@rare:~/rare$ git tag -d optimize_profiles
Deleted tag 'optimize_profiles' (was aca161a)
mc36@rare:~/rare$ git push origin --tags --force
Everything up-to-date
mc36@rare:~/rare$ git tag -af optimize_profiles
mc36@rare:~/rare$ git push origin --tags --force
Enumerating objects: 1, done.
Counting objects: 100% (1/1), done.
Writing objects: 100% (1/1), 170 bytes | 170.00 KiB/s, done.
Total 1 (delta 0), reused 0 (delta 0), pack-reused 0
To ssh://bitbucket.software.geant.org:7999/rare/rare.git
 * [new tag]         optimize_profiles -> optimize_profiles
mc36@rare:~/rare$ date
Tue Feb  7 11:03:19 AM CET 2023
mc36@rare:~/rare$

br,
cs