GitHub Pull Shark 徽章的計數規則GitHub Pull Shark 怎麼計數:哪些 PR 會算、私有和自己 repo 算不算,以及為什麼 is:merged 搜到的數字接近但不等於徽章的真實計數。