proper dev version naming #3

	name: bm version CI

	on:
	push:
	branches:
	- "**"
	paths:
	- bucket_manager/**

	jobs:

	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: set bm version
	run: \|
	bm_version=$(grep "version" setup.py \| awk -F\' '{print $2}')
	if [ $bm_version == dev ]; then
	new_bm_version=$(echo $bm_version \| awk -Fv '{print $1"v"$2+1}')
	else
	new_bm_version=${bm_version}.dev1
	fi
	sed -i "s/$bm_version/$new_bm_version/" setup.py
	- name: commit bm version CI
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"

	git add setup.py
	git commit -m "bm version: updated to bm_version-dev-git_hash"
	- name: push bm version CI
	run: \|
	git push

Provide feedback