Skip to content

Force the push to the docs branch#46

Merged
lognaturel merged 1 commit intogetodk:masterfrom
yanokwa:fix-docs
Apr 5, 2023
Merged

Force the push to the docs branch#46
lognaturel merged 1 commit intogetodk:masterfrom
yanokwa:fix-docs

Conversation

@yanokwa
Copy link
Copy Markdown
Member

@yanokwa yanokwa commented Apr 5, 2023

Build failure at https://github.com/getodk/pyodk/actions/runs/4615333206/jobs/8159111521.

To https://github.com/getodk/pyodk
 ! [rejected]        gh-pages -> gh-pages (fetch first)
error: failed to push some refs to 'https://github.com/getodk/pyodk'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

Found solution at https://squidfunk.github.io/mkdocs-material/publishing-your-site

@yanokwa yanokwa changed the title Force the push to the repo Force the push to the docs branch Apr 5, 2023
@lognaturel lognaturel merged commit 6a83fba into getodk:master Apr 5, 2023
@yanokwa yanokwa deleted the fix-docs branch April 5, 2023 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants