Re: Add Change Badges to documentation

2019-11-24 Thread Michael Paquier
On Thu, Nov 07, 2019 at 12:08:43PM +0100, Fabien COELHO wrote: > More precisely, it is a POC to show that the infra works. It adds 3 badges > on various entries. If the final patch could at least finish with one applied, that would be nice as a base example. There are no objections for this patch

Re: Add Change Badges to documentation

2019-11-07 Thread Fabien COELHO
Hello Corey, Attached is a patch to implement change badges in our documentation. More precisely, it is a POC to show that the infra works. It adds 3 badges on various entries. Patch applies cleanly, compiles, and indeed (too) green boxes show up. Good. Maybe it would be better with ba

Re: Add Change Badges to documentation

2019-10-18 Thread Tomas Vondra
On Fri, Oct 18, 2019 at 07:54:18AM -0400, Corey Huinker wrote: Attached is a patch to implement change badges in our documentation. What's a change badge? It's my term for a visual cue in the documentation used to indicate that the nearby section of documentation is new in this version or otherw