This is a temporary alternative to #295. The intention being to make one release where it's Retired, and entirely remove it in a next major release.
2 new commits added
Mark Persona as Retired
Allow marking plugins as retired
R.I.P. Persona you were great!
Note: the Jenkins that kept commenting here was an incorrect config: it was running on an ancient system without dependencies installed. I have disabled that for now, awaiting the other CI system to get enabled.
Looks good to me.
Merged with 73006fc56d686092b1e4a0f7b94fd652b3be19ed
Pull-Request has been closed by puiterwijk
This is a temporary alternative to #295.
The intention being to make one release where it's Retired, and entirely remove it in a next major release.