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();
    }
}

}

`

Start at the Program.Main example, especially the repo.Tags.Remove and repo.Network.Push calls. Read the LibGit2Sharp tag and push API documentation and verify the expected local and remote tag-removal workflow. Done means providing confirmed usage guidance for both operations.