mirror of
https://github.com/tiennm99/is-a-dev.git
synced 2026-09-05 02:19:36 +00:00
Create publishing-records.md
This commit is contained in:
@@ -0,0 +1,11 @@
|
||||
# Publishing records
|
||||
> NOTE: This is only for maintainers with publishing access
|
||||
|
||||
Currently, the records are published using a manual github actions workflow.
|
||||
When all the PR's are merged and ready, go to `Actions > Publish records` and click on the `Run workflow` button to publish the merged records.
|
||||
|
||||
|
||||
|
||||
Sometimes it may log an error message while publishing saying some record(s) couldn't be published.
|
||||
Usually, the cause is related to some conflict while deleting and re-publishing.
|
||||
In those situations, running the workflow again will fix the issues.
|
||||
Reference in New Issue
Block a user