Switch to official GitHub action for managing app tokens

[seisman]

Currently, we're using the tibdex/github-app-token action to generate PAT tokens which are used in the /format slash command (initially proposed in #645 (comment)).

It seems that GitHub now provides an official action for this purpose (https://github.com/actions/create-github-app-token). I think we should try to switch to the official one. Looking at this PR (dependabot/dependabot-core#9340), it seems we just need to update the action name and the action input names.

xref:

• Plans for this action given the new official actions/create-github-app-token? tibdex/github-app-token#99
• https://github.com/actions/create-github-app-token

[yvonnefroehlich]

Meaning changing

pygmt/.github/workflows/format-command.yml

Lines 13 to 18 in 1633975

	# Generate token from GenericMappingTools bot
	- uses: tibdex/github-app-token@v2
	id: generate-token
	with:
	app_id: ${{ secrets.APP_ID }}
	private_key: ${{ secrets.APP_PRIVATE_KEY }}

to

      # Generate token from GenericMappingTools bot
      - uses: actions/create-github-app-token@v1.9
        id: generate-token
        with:
          app-id: ${{ secrets.APP_ID }}
          private-key: ${{ secrets.APP_PRIVATE_KEY }}

[seisman]

Yes, that should work.

[yvonnefroehlich]

Yes, that should work.

Thank! I summited PR #3165 with this change.