Skip to content

[ docs ] fix typo in cabal update’s help #8346

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.

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

Merged
merged 1 commit into from
Aug 16, 2022
Merged

Conversation

ulysses4ever
Copy link
Collaborator

@ulysses4ever ulysses4ever commented Aug 8, 2022


Please include the following checklist in your PR:

Please also shortly describe how you tested your change. Bonus points for added tests!

@ulysses4ever
Copy link
Collaborator Author

@mergify backport 3.8

@mergify
Copy link
Contributor

mergify bot commented Aug 8, 2022

backport 3.8

✅ Backports have been created

@Mikolaj
Copy link
Member

Mikolaj commented Aug 11, 2022

Let me rebase to see if the recent CI workaround unblocks merging.

@Mikolaj
Copy link
Member

Mikolaj commented Aug 11, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 11, 2022

rebase

✅ Branch has been successfully rebased

@ulysses4ever ulysses4ever force-pushed the typo-in-update-help branch 2 times, most recently from 844a0d1 to 2c63209 Compare August 13, 2022 17:58
@Mikolaj
Copy link
Member

Mikolaj commented Aug 15, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 15, 2022

rebase

☑️ Nothing to do

  • -closed [:pushpin: rebase requirement]
  • any of:
    • #commits-behind>0 [:pushpin: rebase requirement]
    • -linear-history [:pushpin: rebase requirement]

@Mikolaj
Copy link
Member

Mikolaj commented Aug 16, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 16, 2022

rebase

✅ Branch has been successfully rebased

@Mikolaj
Copy link
Member

Mikolaj commented Aug 16, 2022

2 days have passed, but CI halted merging, so let me merge by hand and also experiment with CI and the backport of this PR.

@Mikolaj
Copy link
Member

Mikolaj commented Aug 16, 2022

@mergify backport 3.8

@mergify
Copy link
Contributor

mergify bot commented Aug 16, 2022

backport 3.8

✅ Backports have been created

mergify bot added a commit that referenced this pull request Aug 17, 2022
[ docs ] fix typo in cabal update’s help (backport #8346)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants