Fix github shortcuts edge case