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

doc: Update Developer Guide (contributing information) #395

Merged
merged 5 commits into from
Nov 27, 2023

Conversation

sarina
Copy link
Contributor

@sarina sarina commented Oct 24, 2023

No description provided.

@sarina sarina mentioned this pull request Oct 24, 2023
3 tasks
@sarina sarina force-pushed the sarina/contributors branch from d5fd6a5 to 10fcd4e Compare November 8, 2023 13:52
@sarina sarina changed the title doc: Update sections 3.2 and 3.4 (contributing information) doc: Update Developer Guide (contributing information) Nov 8, 2023
@sarina
Copy link
Contributor Author

sarina commented Nov 8, 2023

@@ -0,0 +1,167 @@
######################################################
Copy link
Contributor Author

@sarina sarina Nov 8, 2023

Choose a reason for hiding this comment

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

This is a new file, written by Michelle and Tim, and reviewed/transcribed by me.

@mphilbrick211
Copy link

@sarina sarina force-pushed the sarina/contributors branch from 1b3f51c to 0881914 Compare November 17, 2023 03:58
of the pull request.
* - .. image:: /_images/pr_label_inactive.png
- Used when the author has been unresponsive for an extended period of
time. The Community Projects Managers will typically give a final comment
Copy link

Choose a reason for hiding this comment

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

Suggested change
time. The Community Projects Managers will typically give a final comment
time. The Community Project Managers will typically give a final comment

Comment on lines +169 to +171
There may be times where a pull request is closed (instead of merged) by an
owning team because the update may no longer be needed, it's duplicative of
other work, or other reasons. The reason for closing the pull request should be
Copy link

Choose a reason for hiding this comment

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

@sarina That reminds me -- I think the "duplicate" label is missing from the section on Contribution Board Labels.

Copy link
Contributor Author

@sarina sarina Nov 20, 2023

Choose a reason for hiding this comment

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

Can you provide a description for "duplicate"?

I used the one from the label on GitHub - "This issue or pull request already exists elsewhere."

@sarina sarina added duplicate This issue or pull request already exists elsewhere and removed duplicate This issue or pull request already exists elsewhere labels Nov 21, 2023
@sarina
Copy link
Contributor Author

sarina commented Nov 21, 2023

@itsjeyd can you please provide a final review?

@itsjeyd
Copy link

itsjeyd commented Nov 23, 2023

@sarina I checked the changes that you pushed to address my earlier comments. They look good to me. If you'd like me to do a full pass before approving, please let me know so I can allocate time for it in the next OpenCraft sprint (starting Tuesday).

@sarina
Copy link
Contributor Author

sarina commented Nov 27, 2023

@itsjeyd i'm going to go ahead and merge. We should use these pages as references and make further updates as needed.

@sarina sarina merged commit a1eabf9 into main Nov 27, 2023
@sarina sarina deleted the sarina/contributors branch November 27, 2023 15:37
@itsjeyd
Copy link

itsjeyd commented Nov 29, 2023

@sarina Sounds good 👍

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.

4 participants