Skip to content

767: triage; fetch pr titles#809

Merged
Mark-Simulacrum merged 4 commits into
rust-lang:masterfrom
Horki:767_pr_title
Dec 12, 2020
Merged

767: triage; fetch pr titles#809
Mark-Simulacrum merged 4 commits into
rust-lang:masterfrom
Horki:767_pr_title

Conversation

@Horki

@Horki Horki commented Dec 8, 2020

Copy link
Copy Markdown
Contributor
  • fixed typo prefereable into preferable
  • msg: format ex.: "Fix SGX CI, take 3 #79797"

Comment thread triage/weekly_report.py Outdated
@Horki

Horki commented Dec 8, 2020

Copy link
Copy Markdown
Contributor Author

@Mark-Simulacrum In case of 401, or other error, it returns an empty string; fetching GITHUB_TOKEN via os.getenv

@Horki

Horki commented Dec 12, 2020

Copy link
Copy Markdown
Contributor Author

@Mark-Simulacrum please review, and add suggestions

@Mark-Simulacrum

Copy link
Copy Markdown
Member

Thanks! The CI failure is due to upstream problems with a rustdoc bug, and this looks good to me, so merging.

@Mark-Simulacrum Mark-Simulacrum merged commit d9bc242 into rust-lang:master Dec 12, 2020
@Horki Horki deleted the 767_pr_title branch December 12, 2020 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants