[Issue 2676] Create a GET /users/:userID endpoint #1403

	# Update database ERD diagrams and OpenAPI docs so that they remain up to date with the application
	name: Update Database ERD Diagrams and OpenAPI Docs

	on:
	pull_request:
	paths:
	- api/**
	- Makefile
	- .github/workflows/ci-openapi.yml

	defaults:
	run:
	working-directory: ./api

	# Only trigger run one update of the OpenAPI spec at a time on the branch.
	# If new commits are pushed to the branch, cancel in progress runs and start
	# a new one.
	concurrency:
	group: ${{ github.head_ref }}
	cancel-in-progress: true


	jobs:
	update-openapi-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	# Checkout the feature branch associated with the pull request
	ref: ${{ github.head_ref }}

	- name: Create ERD diagram
	run: make create-erds

	- name: Update OpenAPI spec
	run: make openapi-spec

	- name: Push changes
	run: \|
	git config user.name nava-platform-bot
	git config user.email [email protected]
	git add --all
	# Commit changes (if no changes then no-op)
	git diff-index --quiet HEAD \|\| git commit -m "Create ERD diagram and Update OpenAPI spec"
	git push

Provide feedback