Ask HN: Your lead developer got bored. What to do?

Imagine you have a company with 50 people and several development teams. One of the best developers get bored and want to leave a company if there will be no interesting tasks. What you will do in this case? try to retain him somehow? let him go?