RTD Procedure
Posted: 02 Sep 2017, 13:26
I have made a modest start by fixing typoes and similar minor issues in the CS Manual.
I raised a pull request, and Scrawl merged it.
However, the "published" version hasn't updated.
I raised the pull request on the main branch, but the published version appears to be based on a different branch.
What is the right procedure?
Just wait for the published branch to get updated?
Raise a pull request on that branch?
Notify somebody (presumably psi29a) directly?
Loriel
I raised a pull request, and Scrawl merged it.
However, the "published" version hasn't updated.
I raised the pull request on the main branch, but the published version appears to be based on a different branch.
What is the right procedure?
Just wait for the published branch to get updated?
Raise a pull request on that branch?
Notify somebody (presumably psi29a) directly?
Loriel