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

Document Setup.hs repl #10481

Merged
merged 4 commits into from
Oct 31, 2024
Merged

Document Setup.hs repl #10481

merged 4 commits into from
Oct 31, 2024

Conversation

Sdywolf
Copy link
Contributor

@Sdywolf Sdywolf commented Oct 28, 2024 •
edited
Loading

The PR only touches documentation.
Fix #8906.

Include the following checklist in your PR:

  • [Y] Patches conform to the coding conventions.
  • [N] Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

The PR docmuments Setup.hs repl by reverting the output of runhaskell Setup.hs repl --help into rst format.

geekosaur
geekosaur approved these changes Oct 28, 2024
View reviewed changes
doc/setup-commands.rst Outdated Show resolved Hide resolved
ulysses4ever
ulysses4ever approved these changes Oct 28, 2024
View reviewed changes
Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

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

Thanks!

doc/setup-commands.rst Outdated Show resolved Hide resolved
@ulysses4ever ulysses4ever added the squash+merge me Tell Mergify Bot to squash-merge label Oct 28, 2024
@mergify mergify bot added ready and waiting Mergify is waiting out the cooldown period merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days labels Oct 28, 2024
@mergify mergify bot merged commit de03759 into haskell:master Oct 31, 2024
15 checks passed
@Sdywolf Sdywolf deleted the doc-refine/Setup branch October 31, 2024 03:22
@geekosaur geekosaur mentioned this pull request Nov 4, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ulysses4ever ulysses4ever ulysses4ever approved these changes

@geekosaur geekosaur geekosaur approved these changes

Assignees
No one assigned
Labels
merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days ready and waiting Mergify is waiting out the cooldown period squash+merge me Tell Mergify Bot to squash-merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

./Setup repl is not documented
3 participants
@Sdywolf @geekosaur @ulysses4ever