Darrenge fixslackcall - Githubissues

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Darrenge fixslackcall #52

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

This is a fix to #43.

You will see a commit to FStar Docs in initial commits. That was left over from earlier FStar Docs work. As you can see from the diff, that isn't in here.

msprotz commented 7 years ago

Thanks for the pull request! This looks good -- two comments before merging this.

If your commit message is ", then with your current routine it will be escaped as \", then a second time as \\". If you swap lines 70 and 71, then the behavior should be good.
The comment doesn't seem to form a syntactically correct sentence (extra word?)

Thanks!