Skip to content

Instantly share code, notes, and snippets.

View Skenvy's full-sized avatar

Nathan Levett Skenvy

View GitHub Profile
@Skenvy
Skenvy / README.md
Last active June 12, 2025 09:15
Extracting GitHub secrets

Sometimes, you might have lost some secret you're using in GitHub, and need to extract it. Your secrets, at https://github.com/{owner}/{repo}/settings/secrets/actions.

Workflow

Make a new workflow in some new branch. Set a temporary symmetric password that you're going to use locally and set it as TEMPORARY_GPG_SYMMETRIC_PASSWORD in your repo secrets. Replace the name of the secret to extract, NAME_OF_SECRET_YOU_WANT_TO_EXTRACT.

on: push
env:
@Skenvy
Skenvy / ABOUT.md
Last active November 10, 2022 03:43
Using dependabot's file_fetchers offline

The context for this example is wanting to parse an already existing local clone of a repository, without additional network traffic and without providing configuration to access a potentially private repository, if we already have a clone of it and want to use the functionality that dependabot provides of parsing for the files its ecosystems expect.

This provides an example of how to monkey patch the gem dependabot-common@0.212.0 to enable the result of the below example that wraps fetcher.files.map(&:name), provided in the file_fetchers README;

puts "Fetched #{fetcher.files.map(&:name)}, at commit SHA-1 '#{fetcher.commit}'"

A quick bundle install should set you up

@Skenvy
Skenvy / README.md
Created March 5, 2022 11:46
Initial Headless Setup with RPi3B+ OS (Buster)

Initial Headless Setup with RPi3B+ OS (Buster)

  1. Download the latest version of Raspberry Pi OS
    • with the caveat that there was a change to camera utility between buster and bullseye.
    • This was tested on an older Buster image
  2. Download the Imager and use it to impact the downloaded zip's .img onto the MicroSD
  3. touch ssh in the boot drive's /, to enable one-time ssh if headless
  4. ssh -vvv pi@raspberrypi.local when connected by ethernet and powered on. (Which includes approving the ECDSA fingerprint)
  5. Enable the ssh server perpetually, rather than the one-time start up.
    • sudo raspi-config, select Interface Options, then select SSH, then confirm with Yes, OK, Finish
  6. Change the [password](https://www.raspberrypi.com/documentation/computers/configuration.html#s
@Skenvy
Skenvy / README.md
Last active July 20, 2025 07:30
SSH+GPG for multiple GH accounts

Caution

This used to be where I would write notes to remember how to set up ssh on WSL+Windows for multiple gh accounts.

The last "old" version of it can be seen here -- or a slightly more colourful newer old version can be seen here.

I have since moved these into README's in my dotfiles, split into;