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 API と push API のドキュメントを読み、ローカルおよびリモートの tag を削除するために想定されるワークフローを検証してください。両方の操作について確認済みの使用方法のガイダンスを提供できれば完了です。