What Happens When Developers Leave Their Open Source Projects?