feat/ensure-push-before-pr-create #4

Merged
marc merged 2 commits from feat/ensure-push-before-pr-create into main 2024-11-04 02:13:46 +00:00

2 commits

Author SHA1 Message Date
fd11d84466
feat: ensure push on pr create
All checks were successful
/ tests (pull_request) Successful in 1m16s
/ static-analysis (pull_request) Successful in 1m27s
/ export-trace (pull_request) Successful in 28s
/ tests (push) Successful in 1m16s
/ static-analysis (push) Successful in 1m35s
/ export-trace (push) Successful in 26s
2024-11-03 21:11:12 -05:00
635e1423d3
refactor: pull git wrapper together 2024-11-03 20:59:35 -05:00