github-starred/vikunja
2
0
Fork 0
mirror of https://github.com/go-vikunja/vikunja.git synced 2026-05-06 11:37:49 -05:00
Code Issues 690 Packages Projects Releases 11 Wiki Activity

[PR #993] [MERGED] chore(dev): use unstable devenv image for devcontainer #8898

New Issue
Closed
opened 2026-04-23 08:32:37 -05:00 by GiteaMirror · 0 comments
GiteaMirror commented 2026-04-23 08:32:37 -05:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/go-vikunja/vikunja/pull/993
Author: @kolaente
Created: 6/22/2025
Status: ✅ Merged
Merged: 6/24/2025
Merged by: @kolaente

Base: main ← Head: fix/up-to-date-devcontainers

📝 Commits (1)

  • 34b7f84 chore(dev): use unstable devenv image for devcontainer

📊 Changes

2 files changed (+3 additions, -3 deletions)

View changed files

📝 .devcontainer.json (+2 -2)
📝 devenv.nix (+1 -1)

📄 Description

Using latest until the fix lands in stable, see https://github.com/cachix/devenv/issues/1896#issuecomment-2994354350

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/go-vikunja/vikunja/pull/993 **Author:** [@kolaente](https://github.com/kolaente) **Created:** 6/22/2025 **Status:** ✅ Merged **Merged:** 6/24/2025 **Merged by:** [@kolaente](https://github.com/kolaente) **Base:** `main` ← **Head:** `fix/up-to-date-devcontainers` --- ### 📝 Commits (1) - [`34b7f84`](https://github.com/go-vikunja/vikunja/commit/34b7f84489c4bf419595adb10b9bfb80643abce1) chore(dev): use unstable devenv image for devcontainer ### 📊 Changes **2 files changed** (+3 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `.devcontainer.json` (+2 -2) 📝 `devenv.nix` (+1 -1) </details> ### 📄 Description Using latest until the fix lands in stable, see https://github.com/cachix/devenv/issues/1896#issuecomment-2994354350 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2026-04-23 08:32:37 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
area/api
area/attachments
area/auth
area/avatars
area/backup-restore
area/caldav
area/calendar-view
area/comments
area/config
area/database
area/desktop
area/docker
area/email
area/favorites
area/filters
area/frontend
area/gantt
area/i18n
area/import-export
area/internal-code
area/kanban
area/labels
area/list-view
area/mobile
area/notifications
area/permissions
area/projects
area/pwa
area/recurring-tasks
area/reminders
area/search
area/shortcuts
area/subtasks
area/sync
area/table-view
area/task-editor
area/task-metadata
area/task-relations
area/teams
area/theming
area/time-tracking
area/typesense
area/views
area/webhooks
bug
changes requested
concern/accessibility
concern/performance
concern/regression
concern/ux
confirmed
db/mysql
dependencies
enhancement
good first issue
help wanted
integration/inbound
integration/outbound
kind/bug
kind/feature
needs reproduction
pull-request
Mirrored from GitHub Pull Request
 question
security
support
upstream issue
waiting for reply
wontfix
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/vikunja#8898
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?