Skip to content

Conversation

@PProfizi
Copy link
Contributor

as it is deprecated but still appearing when searching "docker"

@PProfizi PProfizi added the documentation Improvements or additions to documentation label Mar 14, 2023
@PProfizi PProfizi self-assigned this Mar 14, 2023
@PProfizi PProfizi linked an issue Mar 14, 2023 that may be closed by this pull request
@codecov
Copy link

codecov bot commented Mar 14, 2023

Codecov Report

Merging #838 (0c8a411) into master (0bd7c01) will decrease coverage by 1.30%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #838      +/-   ##
==========================================
- Coverage   88.57%   87.28%   -1.30%     
==========================================
  Files          72       72              
  Lines        8186     8186              
==========================================
- Hits         7251     7145     -106     
- Misses        935     1041     +106     

@PProfizi PProfizi requested review from anslpa and jose-henriquezroa and removed request for jose-henriquezroa March 15, 2023 08:39
@PProfizi PProfizi changed the title Remove docker.rst Remove deprecated docker.rst Mar 15, 2023
@PProfizi PProfizi merged commit a4b74e3 into master Mar 27, 2023
@PProfizi PProfizi deleted the doc/remove_deprecated_docker_page branch March 27, 2023 13:26
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.

Modify docker section on getting-started

2 participants