We use the bors bot to merge our code so the chance that this badge will ever not be green is veeery small and it doesn't give a lot of value to the readers so we should probably just get rid of it ;)