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

chore: add gitconfig that ignores cairo native #3290

Merged
merged 1 commit into from
Jan 14, 2025

Conversation

ShahakShama
Copy link
Contributor

@reviewable-StarkWare
Copy link

This change is Reviewable

@ShahakShama ShahakShama changed the base branch from main to main-v0.13.4 January 14, 2025 08:16
Copy link
Contributor Author

@ShahakShama ShahakShama left a comment

Choose a reason for hiding this comment

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

+reviewer:@giladchase @noaov1

Reviewable status: 0 of 1 files reviewed, all discussions resolved (waiting on @giladchase)

@ShahakShama ShahakShama force-pushed the shahak/gitconfig_ignore_cairo_native branch from 269ef43 to bb12ed6 Compare January 14, 2025 08:16
Copy link
Contributor

@giladchase giladchase left a comment

Choose a reason for hiding this comment

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

:lgtm: THANK YOU

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @ShahakShama)

@ShahakShama ShahakShama merged commit 82b1537 into main-v0.13.4 Jan 14, 2025
8 checks passed
@ShahakShama ShahakShama deleted the shahak/gitconfig_ignore_cairo_native branch January 14, 2025 08:39
@github-actions github-actions bot locked and limited conversation to collaborators Jan 15, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants