![]()
Block or Report
Block or report chrisnevers
Report abuse
Contact GitHub support about this userās behavior. Learn more about reporting abuse.
Report abusePinned
808 contributions in the last year
Less
More
Activity overview
Contributed to
reach-sh/reach-lang,
reach-sh/reach-ide,
chrisnevers/smt-lsp
and 5 other
repositories
Contribution activity
April 2022
Created 3 commits in 1 repository
Created a pull request in reach-sh/reach-lang that received 10 comments
Opened 3 other pull requests in 1 repository
reach-sh/reach-lang
1
open
2
merged
Reviewed 5 pull requests in 1 repository
1
contribution
in private repositories
Apr 18

