Loading...
Loading...
Coding for 9 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to master at MorganJamesSmith/dotfiles
February 1st, 2026 1:30 AM
merged pull request in ProofGeneral/PG
January 24th, 2026 1:51 PM
opened pull request in ProofGeneral/PG
January 18th, 2026 10:29 PM
Created branch doc-string-single-quote in MorganJamesSmith/PG
January 18th, 2026 10:22 PM
closed pull request in MorganJamesSmith/PG
January 9th, 2026 7:42 PM
merged pull request in ProofGeneral/PG
January 13th, 2026 12:28 PM
IssueCommentEvent on ProofGeneral/PG
January 12th, 2026 6:02 PM
Pushed to master at MorganJamesSmith/PG
January 12th, 2026 6:01 PM
IssueCommentEvent on ProofGeneral/PG
January 9th, 2026 7:47 PM
Pushed to master at MorganJamesSmith/PG
January 9th, 2026 7:42 PM