Retire the 'devel' branch