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 fedora.md #3049

Merged
merged 2 commits into from
Jul 1, 2024
Merged

Update fedora.md #3049

merged 2 commits into from
Jul 1, 2024

Conversation

FBachofner
Copy link
Contributor

  1. added a TIP
  2. improved some grammar, punctuation and word choices
  3. improved and reordered some text in the "Problems with GPG keys?" section

1. added a TIP
2. improved some grammar, punctuation and word choices
3. improved and reordered some text in the "Problems with GPG keys?" section
@pbek pbek added the WIP PR that is still being worked on label Jun 30, 2024
edited as requested in discussion for [PR3049](pbek#3049)
@FBachofner
Copy link
Contributor Author

If I edit the file in my "fork" with your comments (which I have just done) do I need to make a NEW pull request (?) or do you somehow see the changes by examining the edited PR (presuming you can look into my fork).

@pbek pbek merged commit 6fde87b into pbek:main Jul 1, 2024
3 checks passed
@pbek
Copy link
Owner

pbek commented Jul 1, 2024

Every commit you add to a branch with an open PR will be added to the PR. So it was ok, thank you. 😉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
WIP PR that is still being worked on
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants