The Wayback Machine - https://web.archive.org/web/20251229014832/https://github.com/github/codeql/pull/4875
Skip to content

Conversation

@madneal
Copy link
Contributor

@madneal madneal commented Dec 23, 2020

No description provided.

@aibaars
Copy link
Contributor

aibaars commented Dec 23, 2020

This change looks good to me. Thanks for pointing this out. @madneal Could you rebase the branch to remove the spurious commits?

@jf205 Could you merge this change if you are happy with it. I wondered whethered this file is handwritten or generated from some other source. If it's generated we should of course fix the problem at the source.

@madneal
Copy link
Contributor Author

madneal commented Dec 23, 2020

@aibaars rebased

@aibaars aibaars requested a review from jf205 December 23, 2020 11:31
@madneal
Copy link
Contributor Author

madneal commented Dec 23, 2020

@aibaars one more commit, the LineComment and BlockComment should be the same level too

Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

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

Looks good to me! I'll get this merged shortly.

(@jf205 is unavailable, so I've taken a look on his behalf.)

@shati-patel shati-patel merged commit 5a9e098 into github:main Jan 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

4 participants