fix: remove branch on git push (useless) #11

Merged
chacha merged 1 commits from dev into master 2023-03-19 20:41:37 +01:00

1 Commits

Author SHA1 Message Date
cclecle
0c02512814 fix: remove branch on git push (useless) 2023-03-19 19:35:37 +00:00