Online document site not updated to the latest commit here

[yookoala]

In fc402cf (merged by 98d4621 in 29th Nov, 2021), the textui.rst was updated to reflect the latest command options. The change is not showing on the live site at the moment. Most notably, the --coverage-cobertura option is not there:

Documentation site right now:

The source file of ccf8ec8 (the latest commit as of today, merged in 20th Dec, 2021):

Is there a specific merge / build window for the site to update to? Or is there, maybe, some problem with the automatic documentation site updating workflow?

[sebastianbergmann]

This has nothing to do with the build. In its current state, the textui.rst file does not have the content in question.

[yookoala]

The option exists in the current version (v9.5.11) of command tools. Is there any concern blocking the change going into v9.5 branch?

[sebastianbergmann]

No.

[yookoala]

Is there any way I can help to merge the change sooner?

[sebastianbergmann]

The change seems to have been lost somehow. I am sorry, but I do not have time to work on this right now.

[yookoala]

Understood. Please give some time to merge the change when you have time.

Thanks for your contribution over the years.