mirror of
https://git.joinsharkey.org/Sharkey/Sharkey.git
synced 2024-11-30 03:03:08 +02:00
7e15f71916
* Revert "remove save-pr-number" This reverts commit 085f4bd76992fa0b3e4219a5c132b72f68c3d2cc. * Revert "Update report-api-diff.yml" This reverts commit b73daf4c0ec4240ea39b183a6b93f209b63e6d81. * Revert "Update report-api-diff.yml" This reverts commit cbf2b5ad8a7cba769446fa9bcf1f129c6f03db8c. * Revert "try to get pull request id from github.event.workflow_run.pull_requests" This reverts commit 07517ce501c12e75da03d325c23968d75ac37d00. |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
misskey | ||
PULL_REQUEST_TEMPLATE | ||
workflows | ||
dependabot.yml | ||
FUNDING.yml | ||
labeler.yml | ||
pull_request_template.md |