Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

titan commit IDs should be easier to copy and paste #58

Closed
eschrock opened this issue Oct 9, 2019 · 0 comments · Fixed by #62
Closed

titan commit IDs should be easier to copy and paste #58

eschrock opened this issue Oct 9, 2019 · 0 comments · Fixed by #62
Labels
Type: Feature New feature or request

Comments

@eschrock
Copy link
Contributor

eschrock commented Oct 9, 2019

Problem

We use standard GUID formats, which have dashes in them. This makes them hard to simply double-click to copy and paste.

Solution

Strip out dashes to still leave a valid GUID, just as a single string.

Alternatives

Use another ID format alltogether.
@eschrock eschrock added the Type: Feature New feature or request label Oct 9, 2019
mcred referenced this issue in mcred/titan Oct 10, 2019
Fixes #58
6ed0dfe 
Signed-off-by: Derek Smart <[email protected]>
@mcred mcred mentioned this issue Oct 10, 2019
Merged
eschrock pushed a commit that referenced this issue Oct 10, 2019
titan commit IDs should be easier to copy and paste (#62)
f739c9b 
Fixes #58
mcred referenced this issue in mcred/titan Oct 29, 2019
@mcred
titan commit IDs should be easier to copy and paste (#62)
c7409a2 
Fixes #58
mcred referenced this issue in mcred/titan Oct 31, 2019
@mcred
titan commit IDs should be easier to copy and paste (#62)
c93d4a0 
Fixes #58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Feature New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fixes #58 mcred/titan
1 participant
@eschrock