Jenkins forked from Hudson at the same time as MariaDB forked from MySQL (and for the same reason). Yet, Hudson has been so thoroughly replaced that even developers who used it for years have probably forgotten about it.