Processing commands for cont...@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 ow...@bugs.debian.org with problems
