The top developer is the one who committed five PRs that changed Godot to Redot, but they had fewer than ten PRs the last time I checked.