jonsterling
Follow
Pinned
3,356 contributions in the last year
Contribution activity
May 2023
Created 278 commits in 4 repositories
Created 2 repositories
Created a pull request in ocaml/opam-repository that received 1 comment
Package forester.2.0
forester.2.0
A tool for tending mathematical forests
Homepage: https://github.com/jonsterling/ocaml-forester
Source repo: git+https://github.com/…
+40
−0
•
1
comment
Reviewed 5 pull requests in 3 repositories
RedPRL/yuujinchou
3 pull requests
RedPRL/cooltt
1 pull request
jonsterling/agda-calf
1 pull request
Created an issue in ocaml/opam that received 11 comments
opam upgrade misreports installed packages
Observed behavior
When I run opam upgrade, I receive the following message:
Everything as up-to-date as possible (run with --verbose to show unavai…
11
comments
Opened 2 other issues in 2 repositories
Octachron/talaria_bibtex
1
open
odis-labs/order
1
open
32
contributions
in private repositories
May 9 – May 30