Skip to content

Update Docker and CI status tables and content#248

Merged
jamoralp merged 4 commits intomasterfrom
docs/docker-and-ci-status
Dec 3, 2020
Merged

Update Docker and CI status tables and content#248
jamoralp merged 4 commits intomasterfrom
docs/docker-and-ci-status

Conversation

@jamoralp
Copy link
Copy Markdown
Contributor

No description provided.

@jamoralp jamoralp mentioned this pull request Nov 30, 2020
48 tasks
FranFin
FranFin previously approved these changes Dec 2, 2020
Comment thread _docs/overview/docker_ci_status/index.md Outdated
@pablogs9
Copy link
Copy Markdown
Member

pablogs9 commented Dec 2, 2020

Reorder proposal:

  1. CI Status for Tooling and Website
    Add here issues and PR counters, maybe the webpage repo should be removed from here.
  2. CI Status for Source Code Repositories
  3. CI Status for Example Application Repositories
  4. Docker Images Status

Additionally I will remove the "CI Status" since we are also showing issues and PR. Just "Status"?

@jamoralp
Copy link
Copy Markdown
Contributor Author

jamoralp commented Dec 2, 2020

Reorder proposal:

  1. CI Status for Tooling and Website
    Add here issues and PR counters, maybe the webpage repo should be removed from here.
  2. CI Status for Source Code Repositories
  3. CI Status for Example Application Repositories
  4. Docker Images Status

Additionally I will remove the "CI Status" since we are also showing issues and PR. Just "Status"?

Ok, the order sounds good for me. I also believe the Docker section is not so-to-say "relevant" and can be moved to a less important spot in the resulting webpage.

@jamoralp
Copy link
Copy Markdown
Contributor Author

jamoralp commented Dec 2, 2020

@pablogs9 @FranFin @ralph-lange I reworked the section completely, and unified the tables' contents. Please re-review.

pablogs9
pablogs9 previously approved these changes Dec 2, 2020
@jamoralp jamoralp merged commit 73c1da2 into master Dec 3, 2020
@jamoralp jamoralp deleted the docs/docker-and-ci-status branch December 3, 2020 08:14
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.

4 participants