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 upPopular repositories
-
manage cargo cache (${CARGO_HOME}, ~/.cargo/), print sizes of dirs and remove dirs selectively
-
A bash script to get a git diff --shortstat-like output for changes in binary files
-
A bash script to convert a copy of /var/log/pacman.log into a log file allowing later visualisation using gource.
Shell 5
-
checks installed rust crates for missing library links and can auto-rebuild if necessary
Rust 2
-
1,316 contributions in the last year
Activity overview
Contribution activity
December 2020
Created 1 commit in 1 repository
Created a pull request in rust-lang/rust-clippy that received 6 comments
CONTRIBUTING: update bors queue url from buildbot2.rlo to bors.rlo
changelog: CONTRIBUTING: update homu links to bors.rust-lang.org
Opened 3 other pull requests in 2 repositories
Reviewed 1 pull request in 1 repository
Created an issue in rust-lang/rust that received 7 comments
ICE: #[rustc_variance] on trait: asked to compute variance for wrong kind of item
Code
#![feature(rustc_attrs)] #[rustc_variance]
trait Tr { } fn main() { }
Meta rustc --version --verbose:
rustc 1.50.0-nightly (e9dd18ca7 2020-12…

