Fix GitHub update routine

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Merge remote-tracking branch 'mxe/master' into work