2 Releases published by 1 person

• v0.13.3-rc.1 0.13.3-rc.1

  published Jun 8, 2025

• v0.13.3 0.13.3

  published Jun 9, 2025

3 Pull requests merged by 1 person

• CHANGELOG: cut entries for 0.13.3

  #7983 merged Jun 8, 2025

• web_editor: prohibit CRUD to symbolic files

  #7981 merged Jun 8, 2025

• ci: only run Docker job for the main repository

  #7980 merged Jun 8, 2025

1 Issue opened by 1 person

• Release 0.13.3

  #7982 opened Jun 8, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Sort milestones by deadline date

  #1822 commented on Jun 9, 2025 • 0 new comments