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.

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

fix: doc: broken Heading1 #142

Merged
merged 1 commit into from
Sep 2, 2024
Merged

Conversation

totzk9
Copy link
Contributor

@totzk9 totzk9 commented Aug 31, 2024

User description

Before:

Screenshot 2024-08-31 at 4 45 12 PM

After:

Screenshot 2024-08-31 at 4 45 00 PM


PR Type

documentation


Description

  • Fixed a broken Heading1 in the README by adjusting the HTML tags to ensure proper rendering.
  • Added a line break after the heading for improved visual formatting.

Changes walkthrough 📝

Relevant files
Documentation
README.md
Fix broken Heading1 and improve formatting in README         

README.md

  • Fixed broken Heading1 by adjusting HTML tags.
  • Added a line break for improved formatting.
  • +2/-1     

    💡 PR-Agent usage:
    Comment /help on the PR to get a list of all available PR-Agent tools and their descriptions

    @codiumai-pr-agent-pro codiumai-pr-agent-pro bot added documentation Improvements or additions to documentation Review effort [1-5]: 1 labels Aug 31, 2024
    Copy link

    PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here.

    PR Reviewer Guide 🔍

    ⏱️ Estimated effort to review: 1 🔵⚪⚪⚪⚪
    🧪 No relevant tests
    🔒 No security concerns identified
    ⚡ No key issues to review

    Copy link

    PR-Agent was enabled for this repository. To continue using it, please link your git user with your CodiumAI identity here.

    PR Code Suggestions ✨

    No code suggestions found for the PR.

    @dbarrosop
    Copy link
    Member

    Thanks!

    @dbarrosop dbarrosop merged commit 76728be into nhost:main Sep 2, 2024
    19 checks passed
    Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
    Labels
    documentation Improvements or additions to documentation Review effort [1-5]: 1
    Projects
    None yet
    Development

    Successfully merging this pull request may close these issues.

    2 participants