Skip to content

[AUTOMATIC] Release/5.8.0#833

Merged
tonidero merged 4 commits into
mainfrom
release/5.8.0
Mar 2, 2023
Merged

[AUTOMATIC] Release/5.8.0#833
tonidero merged 4 commits into
mainfrom
release/5.8.0

Conversation

@RCGitBot

@RCGitBot RCGitBot commented Mar 1, 2023 •
edited by tonidero
Loading

Copy link
Copy Markdown
Contributor

This is an automatic release.

New Features

Dependency Updates

Other Changes

@RCGitBot RCGitBot added the pr:next_release Preparing a new release label Mar 1, 2023
@RCGitBot RCGitBot requested a review from a team March 1, 2023 18:03
@tonidero

tonidero commented Mar 1, 2023

Copy link
Copy Markdown
Contributor

😬 I will fix that changelog tomorrow and make the release

@tonidero

tonidero commented Mar 2, 2023

Copy link
Copy Markdown
Contributor

Docs deployment was failing with error sudo: pip: command not found. Probably due to #827. I deployed docs manually and going to post a fix for that in a followup PR

@tonidero tonidero merged commit 9ed145b into main Mar 2, 2023
@tonidero tonidero deleted the release/5.8.0 branch March 2, 2023 11:11
@tonidero tonidero mentioned this pull request Mar 2, 2023
Merged
tonidero added a commit that referenced this pull request Mar 3, 2023
@tonidero
Fix docs deployment (#836)
7f3dc4d 
### Description
After #827, looks like pip isn't installed in the machine anymore. I
ssh'ed in the machine to finish docs deployment in #833. Python3 was
already installed, so we only needed to install pip. I did this for that
and deployment seems to have worked fine after that doing it manually.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tonidero tonidero tonidero approved these changes

Assignees

No one assigned

Labels

pr:next_release Preparing a new release

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@RCGitBot @tonidero