Skip to content
Avatar
  • Block or report user

    Block or report RalfJung

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
230 followers · 0 following · 10

Highlights

  • Arctic Code Vault Contributor

Organizations

@wlanslovenija @rust-lang @freifunk-saar

Popular repositories

  1. rust-101

    A tutorial for the Rust language

    Rust 190 31

  2. git-mirror

    Keep git repositories on multiple servers in sync

    Python 55 9

  3. dyn-nsupdate

    Dynamically and securely update DNS zones via CGI

    Python 7 3

  4. lilass

    Linux Laptop Screen Setup

    Python 6 2

  5. zonemaker

    Python DNS zone files

    Python 6 3

  6. schsh

    Restricted file access via SSH

    Perl 3

4,350 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

October 2020

Created a pull request in rust-lang/miri that received 16 comments

add bors notification jobs

There are probably ways to simplify this... I just copied this from the Rust repo and expanded the anchors and adjusted the needs thing. Hopefully …

+22 −0 • 16 comments

Created an issue in rust-lang/lang-team that received 8 comments

Restrict promotion to infallible operations

Proposal Summary and problem statement I propose to resolve the "promotion mess" by only promoting code that we know will not fail to const-evaluate.

8 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.