CONTRIBUTORS.txt set in another pull