Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upExpand Pinning documentation #58130
Comments
jonas-schievink
added
C-enhancement
T-doc
labels
Feb 3, 2019
This comment has been minimized.
This comment has been minimized.
|
I am proposing expanded documentation in #58574, please help proof-reading that! |
bors
added a commit
that referenced
this issue
Feb 22, 2019
bors
closed this
in
#58574
Feb 22, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
RalfJung commentedFeb 3, 2019
•
edited
In #55766, it was determined that pinning should be better documented before being stabilized. Yet, stabilization happened without resolving many of the documentation concerns spelled out or writing down the answer given in
Cc @cramertj @withoutboats