Skip to content

Conversation

@ericcornelissen
Copy link
Contributor

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.

This fixes two minor coding mistakes:

  • In .github/update-release-branch.py the output of a call to sorted was not used.
  • In one of the test files there is a duplicate of the statement process.env["SEMMLE_DEPTRACE_SOCKET"] = "abc"; one line apart from each other. I removed the latter.

The tracer-config.test.js file contained a duplicate of the statement:

  process.env["SEMMLE_DEPTRACE_SOCKET"] = "abc";

one line apart. This removes the second instance of this statement.
Fix a minor issue in the update-release-branch.py script that performs a
call to `sorted` but doesn't use the output. Since `sorted` does not
operate in place, the call is currently useless. As a result, the function
`get_pr_for_commit` does not currently work as exected. I.e. it is
expected to return the "first" (i.e. lowest PR number), but actually it
returns the first in the list provided by GitHub.
Copy link
Contributor

@chrisgavin chrisgavin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the fixes! Both changes look good to me.

@chrisgavin chrisgavin merged commit 0a05e95 into github:main Nov 20, 2020
@ericcornelissen ericcornelissen deleted the fix-minor-code-mistakes branch November 20, 2020 11:48
@github-actions github-actions bot mentioned this pull request Nov 23, 2020
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