Add new git alias, rm github workflow.