helpers

small useful helpers

clone.py

clone every repo of an github org. needs a token.

pull.sh

git pull every subdir of the current dir.

deadline.sh

greps through git repos counting the changed .po files.

gifenc.sh

encode HQ GIFs from video files.