Skip to content

chore: add .metals to .gitignore#5470

Merged
Xuanwo merged 1 commit intolance-format:mainfrom
hfutatzhanghb:dev-gitignore-metals
Dec 16, 2025
Merged

chore: add .metals to .gitignore#5470
Xuanwo merged 1 commit intolance-format:mainfrom
hfutatzhanghb:dev-gitignore-metals

Conversation

@hfutatzhanghb
Copy link
Copy Markdown
Contributor

Add .metals to .gitignore

@chatgpt-codex-connector
Copy link
Copy Markdown

Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits.
Credits must be used to enable repository wide code reviews.

@github-actions github-actions Bot added the chore label Dec 15, 2025
@hfutatzhanghb
Copy link
Copy Markdown
Contributor Author

Hi, @jackye1995 @majin1102 . a tiny modification, please help review when you have free time? Thanks.

@Xuanwo Xuanwo merged commit a0d304a into lance-format:main Dec 16, 2025
2 checks passed
jackye1995 pushed a commit to jackye1995/lance that referenced this pull request Jan 21, 2026
Add .metals to .gitignore

Co-authored-by: zhanghaobo@kanzhun.com <zhanghaobo@kanzhun.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants