Skip to content

Comments

Python: Move query suites to public repo.#756

Merged
markshannon merged 1 commit intogithub:masterfrom
tausbn:python-move-query-suites
Jan 14, 2019
Merged

Python: Move query suites to public repo.#756
markshannon merged 1 commit intogithub:masterfrom
tausbn:python-move-query-suites

Conversation

@taus-semmle
Copy link
Contributor

@taus-semmle taus-semmle commented Jan 11, 2019

Following on the work in #439 and #51, this creates the files needed to move the query suites to the external repo. On its own, this change has no effect, but it must be present before the internal changes are applied.

In addition, I've reorganised the files slightly in order to be more consistent with the query suites for the other languages. This includes creating a python2-queries-lgtm file which contains the entries that were previously directly specified in python2-lgtm.

@markshannon markshannon merged commit 05a52bf into github:master Jan 14, 2019
@tausbn tausbn deleted the python-move-query-suites branch February 12, 2021 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants