pleroma.debian.social
2023/08/10 12:02:53 PM UTC
werdahias (tired)
werdahias
@
gameplayervent
does git push origin :branch-to-delete not work?
replies
1
announces
0
likes
1
2023/08/10 12:21:53 PM UTC
werdahias (tired)
werdahias
@
gameplayervent
sorry no clue then. Too used to the cli