使用标签,可以标记提交历史上的特定点为重要提交
This project is mirrored from git://github.com/genodelabs/genode.git. Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update .