- Stuttgart, Germany
- https://david-peter.de/
Block or Report
Block or report sharkdp
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
1,942 contributions in the last year
Less
More
Activity overview
Contribution activity
February 2022
Created 112 commits in 4 repositories
Opened 11 pull requests in 2 repositories
sharkdp/hyperfine
10
merged
sharkdp/diskus
1
open
Reviewed 15 pull requests in 1 repository
sharkdp/bat
15 pull requests
- Prepare for v0.20.0
- CONTRIBUTING.md: Encourage regression tests
- release-checklist.md: Remove '## Dependencies'
- Fix a repology badge in READMEs
-
Recognize files in
$XDG_CONFIG_HOME/git/and$HOME/.config/git/better - fix Bash completion on macOS
- Add JQ syntax highlighting
- Add WorkOS sponsor to readme
-
Correctly render tab stops in
--show-all -
Add
rustfmt.toml - Expose syntect theme and syntax sets
- Underline highlighted lines in ANSI theme
- Allow the license used by GraphQL
-
Add new
--stylecalledheader-filesizeand display it by default -
run-benchmarks.sh: Use
python3oneliner instead ofjq
Opened 1 issue in 1 repository
sharkdp/hyperfine
1
open
19
contributions
in private repositories
Feb 2 – Feb 23
