build-finish: Add --extension-priority option (#1084)

* build-finish: Add --extension-priority option

This lets you set the priority of the extension.

* fixup! build-finish: Add --extension-priority option

* fixup! build-finish: Add --extension-priority option
This commit is contained in:
Internal Server Error - Gitea: Git with a cup of tea
500 Internal Server Error

Gitea Version: 1.28.0+dev-477-g8b6ad49a5f