Full threadjafoi·>Will not be modified - please do not submit PR's or request changesWhy doesn't github still allow users to deactivate the "pull requests" tab?View on HN