3 ms·

It looks like this is the corresponding PR: https://github.com/github/dmca/pull/8142 https://github.com/github/dmca/pull/8142

by madars 6y ago

MrStonedOne 6y ago
if you have the dmca repo on your computer, you can checkout this PR via git fetch upstream pull/8142/head:pr-8142&&git checkout pr-8142 Should work even if they blackhole the pr.
- chrismorgan 6y ago
  There’s no need to create that pr-8142 branch, which will otherwise hang around indefinitely which is most commonly not what you want: git fetch upstream pull/8142/head git checkout FETCH_HEAD
  - jojo14 6y ago
    Isn't it more like the following?: git clone https://github.com/github/dmca.git git fetch origin pull/8142/head git checkout FETCH_HEAD
    - chrismorgan 6y ago
      I was just modifying the parent comment, which assumes an existing repository. Since we’re fiddling with things in this way, if you were just trying to get a copy of the contents, this’ll do that about most efficiently: git init git fetch --depth=1 https://github.com/github/dmca pull/8142/head git checkout FETCH_HEAD (I don’t think you can git-clone an arbitrary ref, only a branch.)
nayuki 6y ago
Maybe this pull request is being censored/shadowbanned right now. Opening the page takes tens of seconds and returns "Unicorn! This page is taking too long to load. Sorry about that. Please try refreshing and contact us if the problem persists.". However, PR #8142 is indeed listed in the list of open PRs at https://github.com/github/dmca/pulls?q=is%3Aopen+is%3Apr https://github.com/github/dmca/pulls?q=is%3Aopen+is%3Apr .
- jyriand 6y ago
  I saw the unicorn when using firefox, but when I switched to chromium, the PR opened fine
- untitaker_ 6y ago
  This just loaded fine for me in Firefox. I'd give them the benefit of the doubt for this one, after all this PR contains 10k commits and 120 comments, and then quite a lot of approvals.

It looks like this is the corresponding PR: https://github.com/github/dmca/pull/8142 https://github.com/github/dmca/pull/8142

by madars 6y ago

It looks like this is the corresponding PR: https://github.com/github/dmca/pull/8142 https://github.com/github/dmca/pull/8142

MrStonedOne 6y ago

if you have the dmca repo on your computer, you can checkout this PR via git fetch upstream pull/8142/head:pr-8142&&git checkout pr-8142 Should work even if they blackhole the pr.

chrismorgan 6y ago
There’s no need to create that pr-8142 branch, which will otherwise hang around indefinitely which is most commonly not what you want: git fetch upstream pull/8142/head git checkout FETCH_HEAD
- jojo14 6y ago
  Isn't it more like the following?: git clone https://github.com/github/dmca.git git fetch origin pull/8142/head git checkout FETCH_HEAD
  - chrismorgan 6y ago
    I was just modifying the parent comment, which assumes an existing repository. Since we’re fiddling with things in this way, if you were just trying to get a copy of the contents, this’ll do that about most efficiently: git init git fetch --depth=1 https://github.com/github/dmca pull/8142/head git checkout FETCH_HEAD (I don’t think you can git-clone an arbitrary ref, only a branch.)

nayuki 6y ago

Maybe this pull request is being censored/shadowbanned right now. Opening the page takes tens of seconds and returns "Unicorn! This page is taking too long to load. Sorry about that. Please try refreshing and contact us if the problem persists.". However, PR #8142 is indeed listed in the list of open PRs at https://github.com/github/dmca/pulls?q=is%3Aopen+is%3Apr https://github.com/github/dmca/pulls?q=is%3Aopen+is%3Apr .

jyriand 6y ago
I saw the unicorn when using firefox, but when I switched to chromium, the PR opened fine
untitaker_ 6y ago
This just loaded fine for me in Firefox. I'd give them the benefit of the doubt for this one, after all this PR contains 10k commits and 120 comments, and then quite a lot of approvals.