Force-push the 'introduction' tag to the new commit, rather than deleting, pushing the delete and re-tagging which results in more requests.