The bots are now broken, since the `git://`-protocol is no longer supported

Both of the bots are broken starting today, see the error below, since GitHub has removed support for the git://-protocol; please see https://github.blog/2021-09-01-improving-git-protocol-security-github/#when-are-these-changes-effective

!!! Error executing command:
git clone git://github.com/mozilla/pdf.js.git .
Cloning into '.'...
fatal: remote error: 
  The unauthenticated git protocol on port 9418 is no longer supported.
Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.

Based on a cursory look this isn’t code originating in https://github.com/mozilla/botio-files-pdfjs, but rather code found in its dependency https://github.com/arturadib/botio

One way to “fix” this would be to implement issue #11851 instead, but given the size/scope of that one we probably need to manually update the bots to allow testing/development to continue working for now.

/cc @brendandahl

[brendandahl]

Alright, should be working now. There was something weird with the linux bot using a cached version of botio. Wiping out the modules then npm i corrected it.

I’m not positive the post merge hook will work as expected. We’ll need to check it after the next PR merge and ensure gh-pages is also updated.

[brendandahl]

I updated the urls in https://github.com/brendandahl/botio/commit/001c01c0053f6f29b484b435c6d8dfbaacba52d9.