Post patch on drupal.org directly from your command line.