Method to Push a NEW\RENEWED tag e.g. REL8_4_7

[AndreMikulec]

NOTE:
One can not delete a github TAG that holds release assets

One can 
1. delete a remote release (associated with a tag)
2. delete the tag
3. push a same name tag (x the OLD "remote tag" assets will be automatically readded xx)
                         (Appveyor destroys: POSSIBLY RENAME THE tag to REL8_4_7 old to KEEP the ASSETS?) 

METHOD

1. From https://github.com/postgres-plr/plr/releases
   Github Sync commits to https://github.com/AndreMikulec/plr
   Sync commits to local

2. https://github.com/postgres-plr/plr/releases
Delete the release
Delete the tag

3. local (using Git Extensions)
Upon that commit - Delete the local tag -> Delete the remote tag at https://github.com/AndreMikulec/plr
Upon that commit - Create the local tag -> Push the local tag to remote https://github.com/AndreMikulec/plr
Optionally on github, stop the builds of https://github.com/AndreMikulec/plr

Upon that commit - Delete the local tag
Upon that commit - Create the local tag -> Push the local tag to remote https://github.com/postgres-plr/plr/releases
Optionally on github, stop the builds of https://github.com/postgres-plr/plr/releases

After ALL THE BUILDS are DONE . . . because the Description will KEEP getting overridden after each JOB
Go to https://github.com/postgres-plr/plr/releases/edit/REL8_4_7
Edit the release description: e.g. Release Version REL8_4_7