Maiao: Gerrit-style stacked PR management for GitHub from the command line