HeinrichHartmann

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

• Keyboard: CAPS=CTRL, Swap CMD / OPTION
• Mouse: Naural Scroll
• Install https://iterm2.com/
• Install Firefox: https://www.mozilla.org/
• Install Bitwarden

HeinrichHartmann

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);