v0.9.13

Bug fixes

• Site admin cannot see private repositories on organization home page #2785
• Non-local users can reset their password #2811
• 500 when compare branches with name contains '#' #2822
• Potential concurrency issue with builtin SSH server #2850

Improvements

• Set HTML meta values for repository #2670
• Able to search user with username and full name #2792

Features

• Support search user and repository on both explore page and admin panel #13