欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
InDefero
来自开放百科 - 灰狐
InDefero is basically a clone of Google Code but with Git, Mercurial and Subversion support. The motto of InDefero "beautiful simplicity".
GNU GPL
Function
- Multiple projects with one installation.
- Home page for each project.
- Bug tracker, source browser and documentation with multiple rights (anonymous, signed in, members and owners).
- Private projects.
- Issues can be tagged with labels.
- Comment on issues/bugs with automatic link creation between bugs and to commits.
- List of issues/bugs by label or status.
- Personal list of submitted or assigned bugs.
- Percentage of closed bugs for a given label, allowing you to create milestone labels and see where you are with respect to your targets.
- Download area.
- Git repository code browsing on each branch or at a given commit.
- Subversion support.
- Mercurial support.
- Documentation wiki.
- Latest changes in the git repository by branch.
- Diff introduced by a given commit with nice code visualisation, with ability to download the diff.
- Download of each individual file at any commit time.
- Download of a .zip file of the repository at any given commit.
- Management interface to administer a project.
- Easy registration of new people with email confirmation.
- Access rights management for the issues, downloads and source modules.
- Email notifications.
- Starred issues to create a watch list.
- Search in the issues.
- In line display of text files from the repository with syntax highlighting.
- Ticket file attachments for patches, images and more.
- REST API with JSON answers.
- And more, more, more...
- synchronize subversion repositories with web frontend (create repository, update access rights and user passwords).
- multiple upload file in issue.
- code review.
- administration area.
- support of the gravatars.
- add atom feeds.
- developer/user dashboard.
- association between commits and users.
- synchronize Mercurial repositories with web frontend (create repository, update access rights and user passwords).
- users administration.
- synchronize git repositories with web frontend (create repository, update access rights and user SSH keys).
Links
分享您的观点