Skip to content

Instantly share code, notes, and snippets.

@ttaylorr
ttaylorr / gist:cc41512caafefab110ad7a0b8a088750
Created September 18, 2024 13:11
Git / Software Freedom Conservancy status report (2024)
From: Taylor Blau <[email protected]>
To: [email protected]
Subject: Git / Software Freedom Conservancy status report (2024)
It's that time of year again where Git Merge is upon us, so as usual
it's time to update our "Git at SFC" status report. This report is a
brief overview of our project financials, our activities at SFC, and
similar.
This email will serve as a report on the project's activities at
@ttaylorr
ttaylorr / count-unused.sh
Last active January 14, 2024 04:01
count -Wunused-parameter warnings
git rev-list origin/master | perl -ne 'print if $. % 10 == 0' |
while read rev
do
git checkout -q $rev &&
nr="$(make -Bks CFLAGS='-Wno-all -Wunused-parameter -fdiagnostics-format=json' \
git 2>&1 | grep '^\[' | jq -s 'flatten | length')" &&
printf "%s %s\n" $(git log -1 --format="%cd" --date=unix $rev) "$nr" || return 1
done
theory
Consensus_Demo
imports
Network
begin
datatype 'val msg
= Propose 'val
| Accept 'val

Keybase proof

I hereby claim:

  • I am ttaylorr on github.
  • I am ttaylorr (https://keybase.io/ttaylorr) on keybase.
  • I have a public key whose fingerprint is 8E49 643D 9EC6 5177 0C52 C785 22A9 53E9 A217 D0CE

To claim this, I am signing this object:

package main
import (
"fmt"
"os"
"runtime"
"time"
"github.com/git-lfs/git-lfs/git/odb/pack"
"github.com/git-lfs/git-lfs/tools/humanize"
#!/usr/bin/env bash
name="$1"
if [ -z "$name" ]; then
echo >&2 "usage: "$0" <filename>"
exit 1
fi
what="$(git ls-files -s | grep "\t$name$" | awk '{ print $2 }')"
~/g/git-lfs (master) $ git diff v1.5.0...master | grep -e "^[-+]" | grep -v "\-\-\-" | grep -v "+++" | wc -l
30642
~/g/git-lfs (master) $ ls | grep -v vendor | xargs cloc
401 text files.
392 unique files.
63 files ignored.
github.com/AlDanial/cloc v 1.72 T=1.56 s (216.6 files/s, 30614.1 lines/s)
--------------------------------------------------------------------------------
Language files blank comment code
#!/usr/bin/env bash
if [ ! "root" -eq "$(whoami)" ]; then
echo "Unable to keep display awake when not running as 'root'."
echo "Try \`sudo !!\` to run this command again as root."
exit 1
fi
echo "[*] Keeping display awake..."
# v1.2.1
## Features
* Support all `git clone` flags in `git lfs clone` #1160 (@sinbad)
* Add `git lfs update --manual` option #1178 (@sinbad)
* Allow smudge filter to return 0 on download failure #1213 (@sinbad)
* Add missing config deatils to `env` command #1217 (@sinbad)
* Better parity with git's bool parsing 48d0fab8161fdefef62a507bc1ad6eb5daa5d750 (@sinbad)
## Bugs
# v1.2.1
## Features
* Support all `git clone` flags in `git lfs clone` #1160 (@sinbad)
## Bugs
* Fix missing man pages on Debian #1149 (@javabrett)
* Fix a concurrent map read/write panic #1179 (@technoweenie)