Stream: t-compiler

Topic: from-commit-to-github-PR


nikomatsakis (Sep 20 2018 at 14:57, on Zulip):

Random question: is there an easy way to go from a commit hash to a github PR?

nikomatsakis (Sep 20 2018 at 14:57, on Zulip):

In this case, be2900c33b043ca2002bdb11870e8d26c3e410f3

nikomatsakis (Sep 20 2018 at 14:58, on Zulip):

oh, silly me, GH has it in the web UI

Jake Goulding (Sep 20 2018 at 20:13, on Zulip):

You can also search for the commit: https://github.com/rust-lang/rust/search?q=be2900c33b043ca2002bdb11870e8d26c3e410f3&type=Issues

Last update: Nov 16 2019 at 01:55UTC