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