Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add manifest of files maintained elsewhere #209

Merged
merged 1 commit into from
Oct 14, 2016
Merged

Add manifest of files maintained elsewhere #209

merged 1 commit into from
Oct 14, 2016

Conversation

mdlinville
Copy link

Describe the proposed changes

Adds a manifest of files which should not be edited in this repo because they are
maintained elsewhere. The intent is for this file to be used by a CI process to fail
a PR which changes one of these files.

Project version

This change will need to go into all the vnext branches.

Related issue

#208

Related issue or PR in another project

distribution/distribution#1985

Please take a look

/cc @stevvooe @thaJeztah @johndmulhausen and please CC others who will know which files or directories should be excluded from the other projects.

The plan is for this file to be used by a CI process which
will fail a PR if it includes changes to any of these files.

<!-- **Squash your commits**: Please use an
[interactive rebase](https://help.github.com/articles/about-git-rebase/)
interactive rebase (https://help.github.com/articles/about-git-rebase/)
Copy link
Member

Choose a reason for hiding this comment

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

oh, not related, but I think we explain those steps in our contributors guide as well https://docs.docker.com/opensource/workflow/work-issue/#/pull-and-rebase-frequently

@@ -0,0 +1,18 @@
# Files and directories here are not edited in the docker.github.io repo.
Copy link
Member

Choose a reason for hiding this comment

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

If this file is only used for automation, I suggest to either make it hidden (.something), or we can add a hack/ directory to put everything in related to automation.

@mdlinville
Copy link
Author

I think it should at least be able to seen, so it c an be referenced when a PR fails and the contributor can look at it. WDYT? I added a bit more info into comments of the file, for humans.

@thaJeztah
Copy link
Member

We can link to it even if it's hidden, it's just that it's not visible when people to a checkout. No showstopper though; just something we should discuss / look at when we start to use it for automation.

@stevvooe
Copy link
Contributor

stevvooe commented Oct 14, 2016

LGTM

🚲 🏠 on the file name:

external.txt
upstream.txt

May want to look at python or git's file matching syntax for this use case.

Either way, this perfectly addresses my original concern.

Thanks!

@mdlinville
Copy link
Author

I changed it to .NOT_EDITED_HERE.txt and left it in the root for now, as a compromise. I like the idea that if someone is browsing the repo on Github it will be right at the top. I'm going to go ahead and merge it. We can add exclusions later if we want.

The plan is for this file to be used by a CI process which
will fail a PR if it includes changes to any of these files.
@mdlinville mdlinville merged commit 9d619dd into docker:master Oct 14, 2016
joaofnfernandes pushed a commit to joaofnfernandes/docker.github.io that referenced this pull request Aug 16, 2017
joaofnfernandes pushed a commit to joaofnfernandes/docker.github.io that referenced this pull request Aug 16, 2017
JimGalasyn pushed a commit that referenced this pull request Aug 16, 2017
shin- pushed a commit to shin-/docker.github.io that referenced this pull request Aug 19, 2017
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.

3 participants