migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 14:49:06 -04:00
Code Activity

Document how to push git lfs files to 3rd party PRs (#7507)

Browse Source
This commit is contained in:
Emil Ernerfeldt
2025-09-05 10:47:23 +02:00
committed by GitHub
parent 5fd452310b
commit eceb0b11c9
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
CONTRIBUTING.md
View File

@@ -71,6 +71,9 @@ git add --renormalize . # Moves already added files to regular git (according to
# Push to a contributor remote (see https://github.com/cli/cli/discussions/8794#discussioncomment-8695076) # Push to a contributor remote (see https://github.com/cli/cli/discussions/8794#discussioncomment-8695076)
git push --no-verify git push --no-verify
# Push git lfs files to contributor remote:
git push origin $(git branch --show-current) && git push --no-verify && git push origin --delete $(git branch --show-current)
``` ```
## PR review ## PR review