Processed: retitle 711699 to ITP: ghi -- manage GitHub issues on the command line
Processing commands for control@bugs.debian.org:
> retitle 711699 ITP: ghi -- manage GitHub issues on the command line
Bug #711699 [wnpp] RFP: ghi -- GitHub Issues on the command line. Use your $EDITOR, not your browser.
Changed Bug title to 'ITP: ghi -- manage GitHub issues on the command line' from 'RFP: ghi -- GitHub Issues on the command line. Use your $EDITOR, not your browser.'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
711699: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711699
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: