Repository navigation

Nav3: Decide whether returning to a Nav3 root should start a new nav transaction #4334

	name: Add Platform Label
	on:
	issues:
	types: [opened]
	pull_request:
	types: [opened]

	jobs:
	add_label:
	runs-on: ubuntu-latest
	permissions:
	issues: write
	steps:
	- uses: andymckay/labeler@e6c4322d0397f3240f0e7e30a33b5c5df2d39e90 # pin@1.0.4
	with:
	add-labels: 'Platform: Java'
	repo-token: ${{ secrets.GITHUB_TOKEN }}