Skip to content

Conversation

zevisert
Copy link
Contributor

@zevisert zevisert commented Jan 25, 2019

Just ran the project names from banned.md through curl against api.github.com/graphql and took the first result - then cleaned the 5 or so that didn't get the right repo from the search by hand.

query firstRepoByName($projectName: String!) {
 search(query: $projectName, type: REPOSITORY, first: 1) {
  edges { node {
    ... on Repository { url }
} } } }

Also re-alphabetized the table.

@neilernst neilernst merged commit 185c816 into SENG480:master Jan 25, 2019
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