cherti

#!/bin/bash

# this script will assist you in migrating git-repositories from
# the primary branch 'master' to the primary branch 'main'.
# It currently works with only one remote (adjust accordingly if you
# have more than one), the name of which is taken as the first argument.
#
# Example: bash switch_branch.sh origin
#
# It will

cherti

#!/bin/bash

name=$RANDOM
url='http://localhost:9093/api/v1/alerts'

echo "firing up alert $name" 

# change url o
curl -XPOST $url -d "[{ 
	\"status\": \"firing\",