Create pull requests for all paket users on github

@vbfox created the following statement

"1524 projects have files that are either paket or it’s bootstrapper in standard positions https://docs.google.com/spreadsheets/d/19Th3rRWBIoFxlBpbuDQ9QSd7tlJ05Fibq7VFH9h52mE/edit#gid=1315769600 Of theses 590 had commits after 2017-01-01: https://docs.google.com/spreadsheets/d/1m6Qu_lEy1LQYKoBpKA9HVMvMvIRQj70mdf1pfaA3S0A/edit#gid=63915918

Thanks google bigquery 🙂 Family time now but if someone wants to auto-create PRs it’s a start."

SELECT
  MAX(committer.date) AS last_commit,
  individual_repo_name
FROM
  `bigquery-public-data.github_repos.commits`,
  UNNEST(repo_name) AS individual_repo_name
WHERE
  individual_repo_name IN (
  SELECT
    DISTINCT repo_name
  FROM
    `bigquery-public-data.github_repos.files` AS f
  WHERE
    ((path = '.paket/paket.bootstrapper.exe')
      OR (path = '.paket/paket.exe')
      OR (path = 'paket.exe')) )
  AND committer.date > '2017-01-01'
GROUP BY
  individual_repo_name
ORDER BY
  MAX(committer.date) DESC

So all these projects need the patch in https://github.com/fsprojects/Paket/pull/3066

What we need to do:

For each of the repos we need to replace the bootstrapper with 5.142

If the repo uses it as paket.bootstrapper.exe then we just need to replace it. If they have a paket.exe then we copy paket.bootstrapper.exe over their existing paket.exe and call it paket.exe (magic mode)

[shiftkey]

@forki I’ve put together a rough script to do all this over in https://github.com/shiftkey/paket-upgrader, and you can see it in action here: https://github.com/TeaDrivenDev/StatusPotentiae/pull/1

[forki]

cool stuff. After small test I tried to run it on repositories.txt but two things:

a) everything in parallel seems to be an issue b) I assume it hit rate limit —> no pull request created