mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
80652bd51f
There have been a few GitHub glitches last week that resulted in a few commits on master not being associated with a PR (though they really were created from merging a PR, and the correct PR number is in their title). This makes the report script crash on not finding the PR, so this PR fixes that. And a comment. CHANGELOG_BEGIN CHANGELOG_END |
||
---|---|---|
.. | ||
azure-cleanup | ||
cron | ||
docker/daml-sdk | ||
build-unix.yml | ||
build-windows.yml | ||
check-changelog.sh | ||
configure-bazel.sh | ||
dev-env-install.sh | ||
dev-env-push.py | ||
report-end.yml | ||
report-start.yml | ||
slack_user_ids | ||
tell-slack-failed.yml | ||
windows-diagnostics.ps1 |