When is @github going to let me open a pull request without commits?