Good to know!! The problem for Github issues is that the id is not
continuous(the id space is shared with Github's issues and pull requests)
which is not a good design IMO.

Hong

2017-08-08 10:01 GMT+08:00 Lei Chang <[EMAIL PROTECTED]>: