Reindex subset of vertices #3404

	# Copyright 2022 JanusGraph Authors
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.

	on:
	pull_request_target:
	types: ["labeled", "closed"]

	jobs:
	backport:
	name: Backport PR
	runs-on: ubuntu-latest
	if: \|
	github.event.pull_request.merged == true
	&& !contains(github.event.pull_request.labels.*.name, 'backport/skip')
	&& (
	(github.event.action == 'labeled' && startsWith(github.event.label.name, 'backport/'))
	\|\| (github.event.action == 'closed')
	)
	steps:
	- name: Backport Action
	uses: sqren/[email protected]
	with:
	github_token: ${{ secrets.ACCESS_TOKEN }}
	auto_backport_label_prefix: backport/
	add_original_reviewers: true

	- name: Info log
	if: ${{ success() }}
	run: cat ~/.backport/backport.info.log

	- name: Debug log
	if: ${{ failure() }}
	run: cat ~/.backport/backport.debug.log

Provide feedback