ARmadillo-reuse/api-server — pull request #3 by alexkonradi (2014-04-01 03:08:42+00:00)
Title: Rename unstable branch from 'dev' to 'unstable'

You have to agree with @shaladi, that it makes much more sense to call the unstable branch 'unstable' than 'dev', hence this renaming.