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.

Sign up for GitHub

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

Jump to bottom

Hosting and emailing to dafny.org #2805

Closed
davidcok opened this issue Sep 28, 2022 · 2 comments · Fixed by #3083
Closed

Hosting and emailing to dafny.org #2805

davidcok opened this issue Sep 28, 2022 · 2 comments · Fixed by #3083
Assignees
@davidcok
Labels
part: documentation Dafny's reference manual, tutorial, and other materials

Comments

@davidcok
Copy link
Collaborator

Who hosts and maintains the domain dafny.org?

CODE_OF_CONDUCT.md invites email to code-of-conduct@dafny.org
.github/SECURITY.md invites email to security@dafny.org

Do these email addresses go anywhere?
@davidcok davidcok changed the title Hosting and smiling to dafny.org Hosting and emailing to dafny.org Sep 28, 2022
@MikaelMayer
Copy link
Member

A subset of collaborators received the emails sent as these addresses. Feel free to request access.

@davidcok davidcok reopened this Sep 30, 2022
@davidcok
Copy link
Collaborator Author

Still collecting information to document where dafny.org is managed.

@davidcok davidcok self-assigned this Sep 30, 2022
@davidcok davidcok added the part: documentation Dafny's reference manual, tutorial, and other materials label Nov 13, 2022
@davidcok davidcok mentioned this issue Nov 20, 2022
Merged
davidcok added a commit that referenced this issue Nov 21, 2022
@davidcok
Brief text to fix #2805 re ownership of dafny.org (#3083)
be2d314 
Fixes #2805 re ownership of dafny.org

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <davidcok@github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@davidcok davidcok

Labels
part: documentation Dafny's reference manual, tutorial, and other materials
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Brief text to fix #2805 re ownership of dafny.org davidcok/dafny
2 participants
@MikaelMayer @davidcok