How to deal with a colleague who got promoted