Skip to content

[libra]FIX: missing .gitignore tick in readme#1268

Merged
genedna merged 1 commit into
gitmono-dev:mainfrom
AidCheng:main
Jul 27, 2025
Merged

[libra]FIX: missing .gitignore tick in readme#1268
genedna merged 1 commit into
gitmono-dev:mainfrom
AidCheng:main

Conversation

@AidCheng

Copy link
Copy Markdown
Contributor

The ignore function is already been implemented but is marked as unfinished in the readme file

closes #1256

The ignore function is already been implemented but is marked as unfinished in the readme file
Copilot AI review requested due to automatic review settings July 26, 2025 12:08

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull Request Overview

This PR updates the README.md file to mark the .gitignore functionality as completed in the feature checklist. The change reflects that the ignore function has already been implemented but was incorrectly marked as unfinished in the documentation.

  • Updates the .gitignore feature status from incomplete to complete in the README checklist

@vercel

vercel Bot commented Jul 26, 2025

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
mega ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jul 26, 2025 0:09am

@genedna
genedna added this pull request to the merge queue Jul 27, 2025
Merged via the queue into gitmono-dev:main with commit 619f4c6 Jul 27, 2025
12 checks passed
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.

[libra] Implement .libraignore for libra, automatically ignore files specified

3 participants