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
Popular repositories
-
-
Forked from gitster/git
Git - the stupid content tracker - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
C 2
-
Forked from libra/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Rust 1
1,603 contributions in the last year
Contribution activity
September 2020
Created a pull request in libra/libra that received 9 comments
logger: enable log filtering
This PR introduces the ability to filter log events based on a filter provided via either the RUST_LOG or LIBRA_LOG environment variables. It also …
- logger: improve documentation and output structured data to stderr
- executor: define and use a typed log schema
- key-manager: define and use a typed log schema
- logging: improve ergonomics of emitting a security event
- log: more logging cleanup
- cli: don't init the logger twice
- logging: unify our two logging systems
- Peer manager logs
- [faucet] new faucet service: replicates existing faucet behavior
- [network] Moved ConnectivityManager to structured logging
- [cli] fix cli logger
- Fix dep verifier
- Bump proc-macro2 from 1.0.19 to 1.0.20
- [move prover] implement async framework running multiple boogie instances
- log: more logging cleanup
- [cli] move cli metrics to cli crate
- some cleanups to the coding guidelines
- [logging] remove unique structured log id

