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

docs: Add Discord username question #468

Merged
merged 1 commit into from
Nov 21, 2024
Merged

Conversation

odilitime
Copy link
Collaborator

Risks

None

Background

What does this PR do?

Updated PR template to ask for discord username

What kind of change is this?

Process: Template update

Why are we doing this? Any context or related work?

Because we have more contributors than official devs and we want to increase communication

Documentation changes needed?

My changes do not require a change to the project documentation.

@@ -77,3 +77,9 @@ None, automtated tests are fine.
<!--
## Deployment instructions
-->

Copy link
Collaborator

Choose a reason for hiding this comment

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

Please update the docs/docs/community/contributing.md to include this as it contains the PR template

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Now addressed in #470

@twilwa twilwa merged commit 3f2cc7d into elizaOS:main Nov 21, 2024
2 checks passed
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.

3 participants