Add `isPRFile404`#20

Merged

fregante merged 8 commits intorefined-github:masterfrom

yakov116:isPrFile404

Jul 7, 2020

Commits on Jul 5, 2020

Commits on Jul 6, 2020

Extend timeout
fregante
authored

Commits on Jul 7, 2020