[Issue 10154] New: Configure auto close for pull requests created on github