because there is no develop branch anymore (the commit message explains it) so keeping it would only confuse contributors (or create an issue if the develop branch is recreated later with an old branch alias in it)