readthedocs.org
Docs: New entries to glossary
#10249
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
15
Changes
View On
GitHub
Docs: New entries to glossary
#10249
benjaoming
merged 15 commits into
readthedocs:main
from
benjaoming:docs/glossary-reproducible
Adds "reproducible" to glossary
f42842b2
Adds glossary entries from #10071
1f87ee78
Make "webhook" respect a-z
763a2c15
benjaoming
added
Improvement
benjaoming
added
Needed: documentation
benjaoming
requested a review
2 years ago
benjaoming
requested a review
from
ericholscher
2 years ago
auto-assign
assigned
benjaoming
2 years ago
Improve reproducible entry
f1c41f83
Simplify the definition so its easier to understand
0343d766
Move root URL so it's a-z
6e136e00
Remove "profile page"
21aa6459
benjaoming
commented on 2023-04-18
benjaoming
commented on 2023-04-18
Add "pinning" to glossary
ff0b03d8
benjaoming
changed the title
Docs: Adds reproducible to glossary (and entries from another PR)
Docs: New entries to glossary
2 years ago
Merge branch 'main' of github.com:readthedocs/readthedocs.org into do…
acf0e949
humitos
approved these changes on 2023-04-19
stsewd
commented on 2023-04-19
Apply suggestions from @stsewd and @humitos code review
f0d93761
Update docs/user/glossary.rst
38cccc81
Put defining sentence first
d5e12cd7
Add some references to new glossary entries
86bb4b00
Put definition first
f2f47fcd
Add more references to pinning
50463eb6
benjaoming
merged
68e070e2
into main
2 years ago
benjaoming
deleted the docs/glossary-reproducible branch
2 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
humitos
stsewd
ericholscher
Assignees
benjaoming
Labels
Improvement
Needed: documentation
Milestone
No milestone
Login to write a write a comment.
Login via GitHub