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

DNS Resolver Implementation #4

Merged
merged 2 commits into from
Oct 22, 2022
Merged

DNS Resolver Implementation #4

merged 2 commits into from
Oct 22, 2022

Conversation

CosminPerRam
Copy link
Member

No description provided.

@CosminPerRam CosminPerRam merged commit e8cbe7b into main Oct 22, 2022
@CosminPerRam CosminPerRam deleted the dns_resolver branch October 23, 2022 18:15
@Douile Douile mentioned this pull request Sep 30, 2023
CosminPerRam added a commit that referenced this pull request Oct 2, 2023
CosminPerRam added a commit that referenced this pull request Oct 2, 2023
* Add initial CONTRIBUTING.md file

* Update CONTRIBUTING.md

Co-authored-by: Tom <25043847+Douile@users.noreply.github.com>

* Specify to look whether there is an existing relevant issue first

* Specify that ids are lowercased only

* Fix tyope.

* Specify special case with multiple editions/versions

* Clarify an id already existing and fix typo

* Add new rule to specify what to do about names that being with numbers

* Simplify numbering rules

* Simplify numbering rules

* Specify on #1 unless #4 applies

* Specify naming for game names

* Add rule regarding mods that add ability for queries

* Remake rule 7 to include protocol naming

* Specify lowercase aplhanumeric

---------

Co-authored-by: Tom <25043847+Douile@users.noreply.github.com>
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.

1 participant