rusty-donkey/heave
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: update justfile after repo ownership change

Browse Source
This commit is contained in:
davidemazzocchi
2026-03-09 09:50:09 +01:00
parent d5497906be
commit 62582ee055
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.justfile
View File

@@ -11,9 +11,7 @@ code_coverage:
cd 01.workspace && cargo llvm-cov clean && cargo llvm-cov --show-missing-lines cd 01.workspace && cargo llvm-cov clean && cargo llvm-cov --show-missing-lines
force_sync_remotes: force_sync_remotes:
git push --force codeberg.org next
git push --force github.com next git push --force github.com next
sync_remotes: sync_remotes:
git push codeberg.org next git push github next
git push github.com next