Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
491 contributions in the last year
Contribution activity
May 2020
- hmemcpy/terminal C++
Created a pull request in microsoft/terminal that received 2 comments
doc: add a tip about launching WT with a Win+Number shortcut
(and thanks to @bitcrazed for hinting about it!) https://twitter.com/shanselman/status/1260467567333908481 Summary of the Pull Request Adding a tip…
+2
−1
•
2
comments
- Have BSP projects support the integrated testrunner
- Suggest type alias improvements
- Relaxing the suggestions about wrapping options/trys etc in ZIO
- Incorrect unit suggestion
- Detecting the use of Nothing in contravariant positions of R type parameter in ZIO types
- Supporting ZQuery and types from zio.tests in the "Suggest a more specific type alias"
Created an issue in JetBrains/sbt-idea-plugin that received 3 comments
Xml patcher doesn't patch empty fields
I noticed that if the fields in my plugin.xml are empty, e.g.<version></version> or <change-notes></change-notes>, the patcher does not patch any v…
3
comments
66
contributions
in private repositories
May 3 – May 19