Remove tag

How do I remove a tag and push the removed tag to a remote repo?

I've tried the following but have been unsuccessful, I can query the tags in the repos but I haven't found a way to remove tags and push to the remote.

`
using System;
using System.Collections.Generic;
using System.IO;
using LibGit2Sharp;

namespace GitTagging
{
class Program
{
static void Main(string[] args)
{
Console.WriteLine("Remove Tags");

        using (var repo = new Repository("C:\\src\\repo\\.git"))
        {
            var allTags = repo.Tags.ToList();
            var tagnames = new List<string>();
            foreach (var item in allTags)
            {
                tagnames.Add(item.FriendlyName);
            }

            StreamWriter file = new System.IO.StreamWriter("C:\\src\\tags.txt");
            foreach (string line in tagnames)
                file.WriteLine(line);
            file.Close();


            var tagstodelete = File.ReadAllLines("C:\\src\\tags.txt");
            var logList = new List<string>(tagstodelete);
            foreach (var item in logList)
            {
                repo.Tags.Remove(item);
                Remote remote = repo.Remotes["origin"];
                PushResult pushResult = repo.Network.Push(remote, ":refs/tags/" + item, credentialsLibGit2Sharp);
            }

        Console.ReadLine();
    }
}

}

`

从 Program.Main 示例开始，重点查看 repo.Tags.Remove 和 repo.Network.Push 调用。阅读 LibGit2Sharp 的 tag 和 push API 文档，并验证预期的本地和远程 tag 删除工作流。在为这两个操作提供经过确认的使用指导后，即表示完成。