Usefull git commands

git-helpers-commands.sh

#!/bin/bash

# remove all local branches except develop
git branch | grep -v “develop” | xargs git branch -d

# undo the most recent git commit
git commit -m “core: commit message to undo live here”

# udoing the previous commit
git reset HEAD~

#delete branch locally
git branch -d <branche-to-delete-goes-here>

# delete branch from remote
git push origin --delete <branche-to-delete-goes-here>

# Quarkus check aws extension
quarkus ext --installable -s aws