Lorenz Leutgeb lorenzleutgeb

Install the redirector addon:
- Firefox Extension via mozilla.org
- Other browsers via einaregilsson.com/redirector
Open extension settings, click "Import" and provide above JSON file.

I hereby claim:

To claim this, I am signing this object:

	#! /bin/sh
	set -eu

	jq -V >/dev/null

	if [ $# -lt 1 ]
	then
	printf 'Usage: %s rad:… [name-of-worktree]\n' "$0"
	printf 'The worktree will be created in a new directory within the current working directory.'
	exit 1

	#! /bin/sh
	set -eu

	REMOTE="rad"
	ALTERNATES="$(git rev-parse --absolute-git-dir)/objects/info/alternates"
	URI=$(git remote get-url "$REMOTE")

	if [ "${URI:0:6}" != "rad://" ]
	then
	echo "URL for remote '$REMOTE' does not have expected prefix 'rad://'. Aborting."

	#! /bin/sh
	set -eu

	JQ="jq --unbuffered --color-output"
	JQ_TX="JQ_COLORS='1;30:0;39:0;39:0;39:1;35:1;39:1;39:1;31' $JQ \| sed 's/^/>/'"
	JQ_RX="JQ_COLORS='0;90:0;37:0;37:0;37:0;32:1;37:1;37:1;34' $JQ \| sed 's/^/</'"

	SOCKET="${RAD_HOME:-"${HOME}/.radicle"}/node/control.sock"

	if [ ! -S "${SOCKET}" ]

	#! /usr/bin/env nix-shell
	#! nix-shell -i bash -p bash gh curl jq
	set -euo pipefail

	REV="main" # 2c50fffdcecb245836ed02cb5c2480a57bdcfef7 as of 2024-03-18
	URL_BASE="https://github.com/starknet-io/provisions-data/raw/${REV}/github"

	if [ $# == 1 ]
	then # use GitHub username passed via commandline argument.
	LOGIN=$1

	#! /usr/bin/env nix-shell
	#! nix-shell -i bash -p bash gh
	set -eu

	# See <https://gist.github.com/lorenzleutgeb/239214f1d60b1cf8c79e7b0dc0483deb>.

	# Will exit non-zero if not logged in.
	gh auth status

	if [ $# == 1 ]

	:: The first argument is always "-C", since
	:: External Editor Revived thinks that this
	:: process is bash.
	set target=%2

	:: The following two lines can be used to
	:: convert the argument to a WSL path.
	::set target=%target:\\=/%
	::set target=%target:C:=/mnt/c%