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

Update README.md & issue template #162

Merged
merged 9 commits into from
Jul 22, 2023
Merged

Update README.md & issue template #162

merged 9 commits into from
Jul 22, 2023

Conversation

robkam
Copy link
Member

@robkam robkam commented Jul 20, 2023

Viewing XML Dumps #142

Viewing XML Dumps #142
@robkam robkam enabled auto-merge (rebase) July 20, 2023 15:00
robkam added 2 commits July 20, 2023 16:47
Add Getting help section
As per Update issue templates #161
@robkam robkam changed the title Update README.md Update README.md & issue template Jul 20, 2023
robkam and others added 6 commits July 20, 2023 18:27
Add section Publishing the dump
Additional formatting and invisible HTML comments
Markdown linters like double line breaks after headings (idk why)
@elsiehupp
Copy link
Member

I don't know if you have pre-commit set up (it should be enabled by default? maybe it just doesn't work on GitHub's web interface?), but if it's working properly it should lint the Markdown syntax... (I used the web interface, myself, so it didn't run...)

Copy link
Member

@elsiehupp elsiehupp left a comment

Choose a reason for hiding this comment

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

Looks fine by me, so feel free to merge whenever...

@robkam robkam merged commit e01895b into python3 Jul 22, 2023
@robkam robkam deleted the robkam-patch-1 branch July 22, 2023 10:55
@elsiehupp
Copy link
Member

Oh, I guess you auto-merged it somehow...? (That's fine.)

@yzqzss
Copy link

yzqzss commented Jul 22, 2023

This's not fine for me. :(
@robkam Please use squash merge next time.

@elsiehupp
Copy link
Member

@yzqzss I had auto-squash set up previously, but somebody else complained about it...

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.

5 participants