Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update docs from rizinorg/cutter #34

Merged
merged 1 commit into from
Dec 20, 2020
Merged

update docs from rizinorg/cutter #34

merged 1 commit into from
Dec 20, 2020

Conversation

Surendrajat
Copy link
Member

No description provided.

@xarkes
Copy link
Member

xarkes commented Dec 19, 2020

Hmm. You should push your changes to master so that it rebuilds gh-pages, however I think current build is not working anymore.
We can merge this PR so the information upstream is up to date however I think we should consider:

  1. Fix the automatic push of documentation from Cutter to Cutter.re (might need to wait for Remove user docs from cutter repository cutter#2399)
  2. Fix the building of gh-pages when a commit is pushed to master in this repository.

@Surendrajat
Copy link
Member Author

We can merge this PR so the information upstream is up to date

Yeah, this was the idea.

@xarkes xarkes merged commit 26dabe3 into rizinorg:gh-pages Dec 20, 2020
@Surendrajat Surendrajat deleted the update-docs branch December 21, 2020 07:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ITAYC0HEN ITAYC0HEN Awaiting requested review from ITAYC0HEN

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Surendrajat @xarkes