short id could be colored

[benoitf]

We could have color on the short ID

if we've
|12a73e1|
|098fd39|
|5d568e7|

the first 2 digits could be highlighted to tell that it can be used as a short identifier

so 12, 09 and 5d could be used in this case and could be in a different color

[TylerJewell]

These short IDs are hard to read. Do you see developer's being upset with
having to type in 7 hex numbers like that?

Tyler Jewell -- ceo @codenvy.com -- +1 978-884-5355 -- Schedule Appt.
https://codenvy.appointlet.com/ -- Blog http://blog.codenvy.com

On Wed, Jul 16, 2014 at 8:28 AM, Florent BENOIT notifications@github.com
wrote:

We could have color on the short ID

if we've
|12a73e1|
|098fd39|
|5d568e7|

the first 2 digits could be highlighted to tell that it can be used as a
short identifier

so 12, 09 and 5d could be used in this case and could be in a different
color

—
Reply to this email directly or view it on GitHub
#22.

[benoitf]

Hi,

well user should have only to type "12" or "09" (shortest unique identier) as for git commands
Using git command line tool provides the same way of identifier and the same shortcuts

You think these IDs are not readable ? This allows to have the same IDs on every client as it's built on existing projects/workspaces

[TylerJewell]

if git uses it then we are cool

Tyler Jewell -- ceo @codenvy.com -- +1 978-884-5355 -- Free/Busy Times
http://www.google.com/calendar/embed?src=tyler%40codenvy.com&ctz=America/Los_Angeles

On Wed, Jul 16, 2014 at 8:42 AM, Florent BENOIT notifications@github.com
wrote:

Hi,

well user should have only to type "12" or "09" (shortest unique identier)
as for git commands
Using git command line tool provides the same way of identifier and the
same shortcuts

You think these IDs are not readable ? This allows to have the same IDs on
every client as it's built on existing projects/workspaces

—
Reply to this email directly or view it on GitHub
#22 (comment).