Not for committers.
Please treat this page as work in progress during the transition to Git.
rm /var/db/gitup/ports
rm -r /usr/ports/*
#!/bin/sh | |
# | |
# PROVIDE: zenbleed_workaround | |
# REQUIRE: root mountcritlocal microcode_update | |
# BEFORE: SERVERS | |
# KEYWORD: nojail resume | |
# Source: https://gist.github.com/Freaky/2560975d3c94246b86f464b8be75c967 | |
# | |
# Copyright (c) 2023 Thomas Hurst <tom@hur.st> |
#!/usr/bin/env python | |
import os | |
import grp | |
import sys | |
import stat | |
import time | |
import hmac | |
import boto3 | |
import tempfile |
# delete local tag '12345' | |
git tag -d 12345 | |
# delete remote tag '12345' (eg, GitHub version too) | |
git push origin :refs/tags/12345 | |
# alternative approach | |
git push --delete origin tagName | |
git tag -d tagName |