youen/syncstuff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Copilot: try workaround for failed pushes

Browse Source 
https://github.com/orgs/community/discussions/163356
This commit is contained in:
Catfriend1 2025-07-14 03:16:48 +02:00
parent 5d9df120cc
commit cc4f0a07c6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/copilot-instructions.md vendored
View File

@ -1,3 +1,9 @@
## Copilot Coding Agent Configuration
If running in coding agent (padawan) mode on GitHub, make sure to use the
`report_progress` tool to push commits to the remote repository. Do not attempt
to use git push as you do not have write access to the repository directly.
We use Java 21 (eclipse-temurin:21-jdk-jammy) to build the app via gradle.
Only use the "debug" flavor of the app when you make builds.