more changes to support the rename of github to gitaction