Skip to content

Conversation

@orestes
Copy link
Member

@orestes orestes commented May 3, 2020

Related to #180

@orestes orestes mentioned this pull request May 3, 2020
2 tasks
@orestes orestes added this to the Initial release milestone May 3, 2020
@orestes orestes added the documentation Improvements or additions to documentation label May 3, 2020
@orestes orestes self-assigned this May 3, 2020
@orestes orestes linked an issue May 3, 2020 that may be closed by this pull request
2 tasks
@SantiMA10 SantiMA10 self-requested a review May 3, 2020 17:01
Copy link
Contributor

@SantiMA10 SantiMA10 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just resolve the conflicts!

@orestes orestes merged commit 859ed32 into master May 3, 2020
@orestes orestes deleted the 180-docs-gitlab branch May 3, 2020 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Documentation for GitLab

3 participants