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

[PR #907] [MERGED] docs: add AGENTS.md #1049

New Issue
Closed
opened 2025-11-01 21:09:56 -05:00 by GiteaMirror · 0 comments
GiteaMirror commented 2025-11-01 21:09:56 -05:00
Owner
Copy Link

📋 Pull Request Information

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

Base: main ← Head: codex/create-agents.md-with-project-details

📝 Commits (1)

  • c567648 docs: add AGENTS.md file with instructions for AI coding agents

📊 Changes

2 files changed (+201 additions, -0 deletions)

View changed files

➕ AGENTS.md (+200 -0)
➕ CLAUDE.md (+1 -0)

📄 Description

Summary

  • document Vue frontend i18n details in AGENTS.md

Testing

  • git status --short

https://chatgpt.com/codex/tasks/task_e_68480db49a9483228e837138c11cd729

🔄 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/907 **Author:** [@kolaente](https://github.com/kolaente) **Created:** 6/10/2025 **Status:** ✅ Merged **Merged:** 6/10/2025 **Merged by:** [@kolaente](https://github.com/kolaente) **Base:** `main` ← **Head:** `codex/create-agents.md-with-project-details` --- ### 📝 Commits (1) - [`c567648`](https://github.com/go-vikunja/vikunja/commit/c567648d82dcdbf115fd907dd9e7603760db6450) docs: add AGENTS.md file with instructions for AI coding agents ### 📊 Changes **2 files changed** (+201 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `AGENTS.md` (+200 -0) ➕ `CLAUDE.md` (+1 -0) </details> ### 📄 Description ## Summary - document Vue frontend i18n details in `AGENTS.md` ## Testing - `git status --short` ------ https://chatgpt.com/codex/tasks/task_e_68480db49a9483228e837138c11cd729 --- <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 2025-11-01 21:09:56 -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#1049
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?