make the "everest move" message contain links to commit ranges on github

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

make the "everest move" message contain links to commit ranges on github #29

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

old..new

msprotz commented 7 years ago

Specifically:

FStar moves to 9ab346e2 on branch master

should become

FStar moves to 9ab346e2 on branch master

msprotz commented 7 years ago

I'm putting a high priority because this is a very low-hanging fruit that requires very little time to implement and should improve usability of notification messages highly

msprotz commented 7 years ago

taking this