Jim Meyering wrote: > I wrote and have run the following script to restore > all tags to commits on branches. > > $ cat tag-restore ... I've pushed the resulting tags.