search

jenkins-infra / docs.jenkins.io

Versioned docs of jenkins.io
3 stars 15 forks source link

chore: update `blog/public` to `site/public` in gitignore #144

Open Vandit1604 opened 2 days ago

Vandit1604 commented 2 days ago

Raised in place of #118

Vandit1604 commented 1 day ago

Got it. We can start with removing directories that contain the same files in both public and static directory by using the diff tool and raise PRs, removing them one by one for better traceability. Let me know if there are any concerns with this approach.

Vandit1604 commented 1 day ago

Hi @krisstern I've raised https://github.com/jenkins-infra/docs.jenkins.io/pull/147 Due to the amount of files removed the PR won't be reviewable on GitHub UI. You will have to check locally with: 

$ diff -rq public/images static/images

If there's a better way to do this. Please let me know. Thanks!

Vandit1604 commented 1 day ago 
diff -rq public/files static/files

also contains same content so nothing is lost here as well if we delete public/files