Skip to content

Conversation

@chrisdothtml
Copy link
Contributor

@chrisdothtml chrisdothtml commented May 31, 2019

Old:

[PR Title]
https://github.com/foo/bar/pull/0

New:

[PR Title] (#0)
https://github.com/foo/bar/pull/0


In the UI, github dynamically replaces the full url with the shorthand; e.g. My title (https://github.com/foo/bar/pull/0) shows up as My title (#0).

I'm using this pattern in the sync probot, so just wanted it to be consistent

ganemone
ganemone previously approved these changes May 31, 2019
@rtsao
Copy link
Contributor

rtsao commented May 31, 2019

The commit title GitHub uses is actually just the number, not the URL. This works nicely for the GitHub UI but is less good for viewing commits locally.

I think the reasoning for using the full URL being able to click to the PR using most terminals when looking at commits locally. And because the full URL is long, that is why it is in the description rather than the title itself.

Perhaps we should do both, to get best of both worlds:

[PR Title] (#0)

https://github.com/foo/bar/pull/0

@chrisdothtml
Copy link
Contributor Author

@rtsao makes sense; updated. Will also update sync probot to match this

@chrisdothtml chrisdothtml merged commit 786a6c6 into master Jun 3, 2019
@chrisdothtml chrisdothtml deleted the title-pattern branch June 3, 2019 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants