I'd be surprised if many people choosing to run a command line github interface wouldn't know about aliases.