Hide Pods/* related files in a GitHub diff page

GHDiff-HidePods.js

// When you are in the diff page of a GitHub PR
// And want to hide all the Pods/* files in that diff page, use this:

// Paste that in your Web Inspector's console
var nodes = document.evaluate("//div[@class='file-header' and starts-with(@data-path,'Carthage/')]", document, null, XPathResult.UNORDERED_NODE_SNAPSHOT_TYPE, null );
for(i=0; i<nodes.snapshotLength; ++i) { 
  nodes.snapshotItem(i).parentNode.hidden = true
}

// Or even better, create a bookmark with this code for easy quick access:
javascript:var nodes = document.evaluate("//div[@class='file-header' and starts-with(@data-path,'Carthage/')]", document, null, XPathResult.UNORDERED_NODE_SNAPSHOT_TYPE, null ); for(i=0; i<nodes.snapshotLength; ++i) { nodes.snapshotItem(i).parentNode.hidden = true }