git commit ID shortening

Matthias Urlichs's Avatar

Matthias Urlichs

22 Mar, 2018 11:43 AM

Hi,
git commit IDs are customarily shortened to an odd number of digits to make them more recognizable, and less prone to confusion with other IDs.

I'd like to suggest that you follow that practice.

  1. 1 Posted by Ilya Finkelshte... on 22 Mar, 2018 06:03 PM

    Ilya Finkelshteyn's Avatar

    We also shorten them in UI…

    [cid:[email blocked]]

  2. Ilya Finkelshteyn closed this discussion on 25 Aug, 2018 02:27 AM.

Comments are currently closed for this discussion. You can start a new one.

Keyboard shortcuts

Generic

? Show this help
ESC Blurs the current field

Comment Form

r Focus the comment reply box
^ + ↩ Submit the comment

You can use Command ⌘ instead of Control ^ on Mac

 

01 Oct, 2024 04:27 PM
26 Sep, 2024 03:49 PM
26 Sep, 2024 09:02 AM
25 Sep, 2024 07:07 PM
24 Sep, 2024 08:39 PM
24 Sep, 2024 06:47 AM