Release Djblets 0.8 beta 3.