CARVIEW |
Select Language
HTTP/2 200
date: Wed, 23 Jul 2025 09:58:22 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"91139357c994774217881fd6770bf0e9"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=Q9baYCIRN4pT3gWyhJhuf9Gs9%2F%2F7nZMWG2OL47Lf2LqnUaznfn3VSw2fzEHq6nG%2B%2FFieCXlQkNy4S9QluKsbn%2FviiAFZATi0q77Fprzs4X6DRW6yBHIa244jeJOXdkDPiQtBYv%2BrKnpeM3heP2xpxJNibaynd3EqowfTOiCjWDJJoJ%2Bn9U8nyoyQLf19MT27foL%2BulEpMCd1jaUaELXNdHavRzbC46AkQ0I8CGLDS5VpK85ckO1A1B6%2F2NYNsqgOW0IRbHAVDTLxFQ09Nrd0Hw%3D%3D--rXRO2sA6wOO1JXoN--8lBHxVOagjkzM9ZtDoILsQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.333974483.1753264701; Path=/; Domain=github.com; Expires=Thu, 23 Jul 2026 09:58:21 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Thu, 23 Jul 2026 09:58:21 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 91D0:3CF5A2:8B7BAB:A9D032:6880B23D
codeinthehole’s gists · GitHub
View GitHub Profile
{{ message }}
Instantly share code, notes, and snippets.
David Winterbottom codeinthehole
🌏
The main difference between dinosaurs and us is we're building our own meteor.
Principal Engineer at Kraken Technologies.
codeinthehole
/ list_1pw_item_users.sh
Created
July 22, 2025 13:43
List users with access to a given 1Password item.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# List a TSV of users who have access to an item. | |
set -e | |
export OP_FORMAT=json | |
function main() { | |
local item_id="$1" |
codeinthehole
/ check_repos_for_unpushed_changes.sh
Created
May 1, 2025 12:06
Bash script for checking local repositories for unpushed changes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# Check the status of a folder of repos to see if there are any unpushed commits. | |
# | |
# This is intended to help migrate to a new laptop, where you want to check | |
# that there are no unpushed local commits before switching to the new machine. | |
# | |
# Needs `rg` and `fd` installed. | |
set -e |
codeinthehole
/ tdd.sh
Created
October 13, 2024 14:58
A Bash script for running an iterative TDD loop using an LLM to make a set of tests pass
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# A Bash script to run a TDD loop for building a Python module to pass tests. | |
set -euo pipefail | |
# How many times to loop. | |
ATTEMPTS=4 | |
# The system prompt to use when creating the initial version. |
codeinthehole
/ git-fixup-files
Created
August 8, 2024 11:01
Custom version of `git absorb` which autosquashes unstaged changes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# Try and squash unstaged changes into existing branch commits. | |
# | |
# This command examines each unstaged file and attempts to create a fix-up | |
# commit to squash it into its natural parent in the current branch. | |
# | |
# - If it's able to do this for all modified files, the fix-up files are | |
# automatically squashed in. | |
# |
codeinthehole
/ codeowner-breakdown
Created
July 9, 2024 09:49
A Python script to categorise a list of filepaths by code owners
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
""" | |
Print a breakdown of the passed filepaths by CODEOWNER team. | |
This script requires the `codeowners` CLI tool to be installed and available on the $PATH. | |
https://github.com/hmarr/codeowners | |
Intended usage is to pipe filepaths into this script from the root of a repo: | |
cat filepaths.txt | codeowner-breakdown |
codeinthehole
/ noxfile.py
Created
May 24, 2024 09:33
A `noxfile.py` for running matrix testing of a Python package
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import os | |
import time | |
import nox | |
@nox.session(python=["3.10", "3.11", "3.12"]) | |
@nox.parametrize("django_constraint", ["<4.2", "<4.3", "<5.1"]) | |
def tests(session: nox.Session, django_constraint: str) -> None: | |
""" |
codeinthehole
/ convert
Created
September 28, 2023 10:28
Alfred workflow script for converting numbers to durations
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python3 | |
# | |
# This script can be used as a Alfred Script Filter in a custom workflow for converting numbers to durations. | |
# To do so, create a new workflow, add a script filter with contents './convert "$@"', ensuring that the | |
# query is passed as "with input as argv". | |
# | |
# It's useful to connect a "Copy to Clipboard" output action to make it easier to paste the duration string somewhere. | |
import argparse | |
import json |
codeinthehole
/ pull-request-title
Created
December 23, 2022 15:47
A Bash script that uses OpenAI's API to generate a pull request title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# Print a title of the current pull request's commits. | |
# | |
# - For single commit pull requests, this prints the subject of the commit. | |
# | |
# - For multi-commit pull requests, this uses OpenAI's REST API to digest the | |
# commit messages of the pull request into a single sentence. | |
# | |
# Requires an OPENAI_API_KEY env var to authenticate requests - see: |
codeinthehole
/ pull-request-summary
Created
December 23, 2022 15:46
A Python script that generates a pull request body
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
# | |
# Print out a summary of the pull request. | |
# | |
# This combines the commit messages and removes the hard wrapping so the text renders better in | |
# Github's UI. The output won't be suitable as is, but provides a good start for moulding into a | |
# good description. | |
import subprocess |
codeinthehole
/ pull-request-summary
Last active
December 8, 2022 12:12
Use OpenAI's GPT3 model to generate pull request descriptions.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# Print a summary of the current pull request's commits. | |
# | |
# Requires an OPENAI_API_KEY env var to authenticate requests - see: | |
# https://beta.openai.com/docs/api-reference/authentication | |
# Commit selection variables. | |
TARGET_BRANCH=master |
NewerOlder
You can’t perform that action at this time.