revise github pull