Hacker News Reader

A note on terminology:

GitHub and GitLab have similar features. GitHub calls them pull requests. GitLab calls them merge requests.

Pull/Push is a nightmare for Portuguese (Portugal,Brazil) because 'puxar' (read push-ah-r) means pull................

Ah yes! It happens in English too:

"Press Enter to exit, Exit to cancel, or Cancel to continue."