Skip to content

Fix inconsistent indentation #9180

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 31, 2023

Conversation

fendor
Copy link
Collaborator

@fendor fendor commented Aug 16, 2023

cabal check was complaining:

$ cabal check
These warnings will likely cause trouble when distributing the package:
Warning: cabal-install.cabal:254:4: Inconsistent indentation. Indentation
jumps at lines 254
These warnings may cause trouble when distributing the package:
Warning: Please consider moving the file 'changelog' from the
'extra-source-files' section of the .cabal file to the section
'extra-doc-files'.

Template Β: This PR does not modify cabal behaviour (documentation, tests, refactoring, etc.)

Include the following checklist in your PR:

@fendor fendor requested a review from Mikolaj August 16, 2023 17:39
Copy link
Collaborator

@geekosaur geekosaur left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, but could you please select one of the two templates in the PR header? (Sadly, GitHub doesn't support multiple PR templates.)

@fendor fendor added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Aug 18, 2023
@andreasabel andreasabel added the merge me Tell Mergify Bot to merge label Aug 19, 2023
Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well spotted.

@Mikolaj
Copy link
Member

Mikolaj commented Aug 28, 2023

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2023

rebase

❌ Base branch update has failed

Mikolaj token is invalid, make sure Mikolaj can still log in on the Mergify dashboard.
err-code: 6D18E

@Mikolaj
Copy link
Member

Mikolaj commented Aug 28, 2023

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2023

rebase

❌ Base branch update has failed

Mikolaj token is invalid, make sure Mikolaj can still log in on the Mergify dashboard.
err-code: 46935

@Mikolaj
Copy link
Member

Mikolaj commented Aug 28, 2023

Doh, it says "Mikolaj token is invalid, make sure Mikolaj can still log in on the Mergify dashboard.", but I am right now logged in.

Copy link
Member

Mikolaj commented Aug 28, 2023

@Mergifyio rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2023

rebase

❌ Base branch update has failed

Mikolaj token is invalid, make sure Mikolaj can still log in on the Mergify dashboard.
err-code: 62D36

@Mikolaj
Copy link
Member

Mikolaj commented Aug 28, 2023

I triggered the rebase above from the dashboard, but the same message appears.

Copy link
Member

Mikolaj commented Aug 28, 2023

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2023

refresh

✅ Pull request refreshed

Copy link
Member

Mikolaj commented Aug 28, 2023

@Mergifyio rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 28, 2023

rebase

❌ Base branch update has failed

Mikolaj token is invalid, make sure Mikolaj can still log in on the Mergify dashboard.
err-code: AD204

@Mikolaj
Copy link
Member

Mikolaj commented Aug 28, 2023

@ulysses4ever: any idea what token it's talking about?

@ulysses4ever
Copy link
Collaborator

@Mikolaj unfortunately, no idea. I'd try the usual plan: google, their bug tracker, and report the issue if nothing helps.

@fendor fendor force-pushed the fix/inconsistent-indentation branch from 2a718ae to 2051013 Compare August 31, 2023 17:25
@mergify mergify bot merged commit 30bb110 into haskell:master Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants