In addition to the Documentation component, we currently have four different labels for documentation related Jiras: doc, doc-production, docs, and documentation.
Can we agree on only one of them and remove the others? Are there different meanings to them that I'm not aware of? Thanks, Lars
