Skip to content

Conversation

@mislav
Copy link
Contributor

@mislav mislav commented Nov 27, 2019

Ref. #68

@mislav mislav merged commit 92c9ab1 into master Nov 27, 2019
@mislav mislav deleted the flags-language branch November 27, 2019 22:53
nobe4 added a commit that referenced this pull request Mar 1, 2024
Various places during the `gh pr merge` flow show the PR number and
title. Those places are updated to also show the owner/repo.

E.g.
Before:
  Pull request #123 (title) is ready to be merged
After:
  Pull request owner/repo#123 (title) is ready to be merged

There are other places, where only the number is displayed. Those were
intentionally left as is. It made sense to show the owner/repo only when
the extra context of the title was present.

It also fixes the related tests.

cc #8777
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants