Switch to the new revel repository