Skip to content

Instantly share code, notes, and snippets.

View HeinrichHartmann's full-sized avatar

Heinrich Hartmann HeinrichHartmann

View GitHub Profile
@HeinrichHartmann
HeinrichHartmann / gh-issue-fetch.py
Created May 5, 2021 07:16
Pull issues into local text files via GH CLI
#!/usr/bin/env python
"""
SYNOPSIS
gh-issue-fetch [-R <repository url>] [-d <output directory>]
DESCRIPTION
Fetch all issues from a GH repository into local text files.
By default issues are placed in ./issues/*, this can be
changed by using the -d flag.
@HeinrichHartmann
HeinrichHartmann / provision-osx.md
Created October 8, 2021 18:02
Provision OSX Machine
with builtins;
let
div = x: y: if y / x * x == y then true else false;
divany = L: x:
if (length L) == 0 then
false
else if (div (head L) x) then
true
else
(divany (tail L) x);
teamName firstName lastName ageGroupShort nettoTime rankMale startNo combined rankTotal rankFemale hash rankAgeGroup
Brooks Road Runners/TSVE 1890 Bielefeld Florian Bochert MH 01:46:46 1 894 0_0_1 1 mlJq3r_hmbmM6nxWz30rRjkq9mBjwvpfsUfXWsJmJd8 1
TuS Eintracht Bielefeld Elias Sansar M45 01:47:26 2 855 0_0_2 2 f4nxvr-F6meCfC_2mqNdkcJi89N6o4a
2025-09-01 54bd468bf32515495c9fa6a57cac7f1e6f7ebda2
2025-09-01 b91bc781dd5299174273b8d7f122473f0a29c0a1
2025-09-01 54bd468bf32515495c9fa6a57cac7f1e6f7ebda2
2025-09-01 6d41627401a1bacd24a4237ed39e961920d268a0
2025-09-01 7bb64ac354980bde94d621907b9686bf63a9dcb7
2025-09-01 729b5adcb00f15fb185eaacb9ba7571e128527d1
2025-09-01 ff66a7e3f0172dade3f929cb8861ae7a4761eb38
2025-09-02 9dbf75b5c8a1d13606bf76055aad862109f22d7d
2025-09-03 1438649a4afdb21dddc90d3b1c3a8594562da231
2025-09-04 3cc1b38fbebde97f2d72cd70e4202bd1e3ed1cdc