Mixup minor issues with github webhook