-
-
Notifications
You must be signed in to change notification settings - Fork 4.8k
git-fast-export: add page #18490
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
git-fast-export: add page #18490
Conversation
The build for this PR failed with the following error(s) at commit
Please fix the error(s) and push again. |
What does |
If we run
|
Co-authored-by: Managor <[email protected]>
Co-authored-by: Managor <[email protected]>
I assume you pushed that page to the wrong branch |
I just added one more page, but forgot about the current in-progress PR. |
Co-authored-by: Managor <[email protected]>
Co-authored-by: Managor <[email protected]>
Why do the output files all have different names and extensions? |
I want to demonstrate that we can export to various file formats and use different file names to prevent confusion. |
Does the export format get defined by simply changing the output extension? |
No, the file extension in
|
I see you accidentally used your main branch as the one you filed the pull request from. I'll help you out and call for others to quickly review this PR so that you can nuke your repo and start in a clean branch |
Thank you so much! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Lgtm! Thank you for the contribution!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
Co-authored-by: Lena Pastwa <[email protected]>
Co-authored-by: Lena Pastwa <[email protected]>
common
,linux
,osx
,windows
,sunos
,android
, etc.