Update gitaly development documentation with the new automated tagging process
Gitaly tagging is now automated - https://gitlab.com/gitlab-org/release-tools/issues/384
But development documentation still needs to be updated.
Edited by Alessio Caiazza