Jérémie LumbrosoChanging the author of a commit on GitHubHow to rewrite history like a pro, while minimizing disruptionsDec 30, 2022Dec 30, 2022
Jérémie LumbrosoUndoing a git mistake: Squash & rewrite commitsThe top two mistakes you might want to fix on with gitJun 1, 2022Jun 1, 2022
Jérémie LumbrosoHow to automatically finalize all submissions in codePostImporting submissions graded elsewhereMar 13, 2022Mar 13, 2022
Jérémie LumbrosoInstalling pikepdf with Homebrew on macOS Big SurHow to resolve a typical dependency issue on HomebrewApr 26, 20211Apr 26, 20211
Jérémie LumbrosoSlack with Princeton’s Single Sign-OnHow to reduce friction when using Slack on campusFeb 24, 2021Feb 24, 2021