Skip to content

Instantly share code, notes, and snippets.

View gernotstarke's full-sized avatar

Dr. Gernot Starke gernotstarke

View GitHub Profile
@gernotstarke
gernotstarke / minion-coverage.json
Last active January 4, 2025 17:53
dynamic action gist for pdfminion
{"label":"Coverage","message":"38.4%","schemaVersion":1,"color":"red"}
@gernotstarke
gernotstarke / Makefile
Created January 1, 2022 09:45
Makefile for authoring markdown with a (BibTeX-based) citation manager like Zotero
# For a description of this file, please see:
# https://www.innoq.com/en/blog/markdown-with-zotero-workflow
#------------------------------------------------------------
# what's the name of the generated output file(s)
OUTPUT=out
# what's the name of the markdown source file
SOURCE=principles-content.md
@gernotstarke
gernotstarke / find-changed-files-in-git.sh
Created October 22, 2015 16:25
find heavily changed files in git repository
git log --since="90 days ago" --pretty=format:"" --name-only | \
grep "[^\s]" | \
sort | uniq -c | \
sort -nr | head -10