Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add windows group to triagebot #72706

Merged
merged 3 commits into from
Jun 11, 2020
Merged

Add windows group to triagebot #72706

merged 3 commits into from
Jun 11, 2020

Commits on May 28, 2020

  1. Add windows group to triagebot

    @spastorino
    spastorino committed May 28, 2020
    Configuration menu
    Copy the full SHA
    474b16b View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2020

  1. fix URLs, include ARM

    @nikomatsakis
    nikomatsakis committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    e0ec3d5 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2020

  1. Fix rustc-dev-guide url

    @spastorino
    spastorino committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    a01485c View commit details
    Browse the repository at this point in the history