mobilemind

# 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

ryancdotorg

#!/usr/bin/env python
import os
import grp
import sys
import stat
import time
import hmac
import boto3
import tempfile

grahamperrin

Beginning to use Git for FreeBSD ports: a rough guide

Not for committers.

Please treat this page as work in progress during the transition to Git.

Preparations

1. rm /var/db/gitup/ports
2. rm -r /usr/ports/*

Freaky

#!/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>