Skip to content

Conversation

martinthomson
Copy link
Collaborator

No description provided.

GLOSSARY:
title: "GitHub glossary"
date: 2020-03
target: "https://help.github.com/en/github/getting-started-with-github/github-glossary"
Copy link
Member

Choose a reason for hiding this comment

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

Are we concerned about this link not aging well? (I wonder if we should, in parallel, try to move the contents of https://ietf-gitwg.github.io to some place more stable and under control of the IETF.)

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Yeah, but I'm not sure that our own copy of this is guaranteed to be any better. The GitHub link is nice in the sense that it concentrates on terminology.

Copy link
Member

Choose a reason for hiding this comment

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

Yep, no argument there. It certainly has better content.

Co-Authored-By: Christopher Wood <caw@heapingbits.net>
@martinthomson martinthomson merged commit 9960398 into master Mar 16, 2020
@martinthomson martinthomson deleted the alvaro branch March 16, 2020 04:18
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.

2 participants