Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 10, 2020

• Merge pull request #4 from LeSeulArtichaut/rustc-dev-guide

  Show description for 7949831
  pietroalbini

  authored
  7949831

  Copy full SHA for 7949831

Commits on Mar 9, 2020

• Rename `rustc-guide` to `rustc-dev-guide`

  LeSeulArtichaut

  committed
  b77e7b3

  Copy full SHA for b77e7b3

Commits on Oct 29, 2019

• try to setup automatic redirects for all the missing repos

  pietroalbini

  committed
  08bb1b6

  Copy full SHA for 08bb1b6

Commits on Dec 1, 2018

• Merge pull request #3 from neersighted/seamless-redirects

  Show description for 0695136
  nrc

  authored
  0695136

  Copy full SHA for 0695136

Commits on Nov 30, 2018

• Implement seamless redirects through a python script

  Show description for 40862c2
  neersighted

  committed
  40862c2

  Copy full SHA for 40862c2

Commits on Nov 28, 2018

• Merge pull request #2 from phansch/master

  Show description for a957ed4
  nrc

  authored
  a957ed4

  Copy full SHA for a957ed4

• Add redirect for last clippy release

  phansch

  committed
  912717c

  Copy full SHA for 912717c

Commits on Nov 26, 2018

• Add rustc-guide redirect

  nrc

  committed
  337d3c7

  Copy full SHA for 337d3c7

• Add Clippy redirect in master too

  nrc

  committed
  116d546

  Copy full SHA for 116d546

• Add Clippy redirect

  nrc

  committed
  2aed1c1

  Copy full SHA for 2aed1c1