Skip to content

deps: add /deps/**/.github/ to .gitignore - #46091

Merged
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
lpinca:ignore/github-directories-in-deps
Jan 11, 2023
Merged

deps: add /deps/**/.github/ to .gitignore#46091
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
lpinca:ignore/github-directories-in-deps

Conversation

@lpinca

@lpincalpinca commented Jan 4, 2023

Copy link
Copy Markdown
Member
  • Ignore .github directories in the deps directory.
  • Remove deps/base64/base64/.github/.

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

Review requested:

  • @nodejs/v8-update

@nodejs-github-botnodejs-github-bot added dependencies Pull requests that update a dependency file. meta Issues and PRs related to the general management of the project. needs-ci PRs that need a full CI run. v8 engine Issues and PRs related to the V8 dependency. labels Jan 4, 2023
@lpinca
lpincaforce-pushed the ignore/github-directories-in-deps branch from 98dff80 to 42bcf19CompareJanuary 4, 2023 15:36

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

@targos Will this work with v8 sync script ?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

No, it won't. The V8 sync script bypasses our .gitignore.

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

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

Reverted.

- Ignore `.github` directories in the `deps` directory.
- Remove `deps/base64/base64/.github/`.
@lpinca
lpincaforce-pushed the ignore/github-directories-in-deps branch from 42bcf19 to 049ccb7CompareJanuary 10, 2023 18:04
@lpincalpinca added the request-ci Add this label to start a Jenkins CI on a PR. label Jan 10, 2023
@github-actionsgithub-actionsBot removed the request-ci Add this label to start a Jenkins CI on a PR. label Jan 10, 2023
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

@lpincalpinca added the commit-queue Add this label to land a pull request using GitHub Actions. label Jan 11, 2023
@nodejs-github-botnodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Jan 11, 2023
@nodejs-github-bot
nodejs-github-bot merged commit 20359cc into nodejs:mainJan 11, 2023
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

Landed in 20359cc

@lpinca
lpinca deleted the ignore/github-directories-in-deps branch January 11, 2023 19:41
RafaelGSS pushed a commit to RafaelGSS/node that referenced this pull request Jan 17, 2023
- Ignore `.github` directories in the `deps` directory.
- Remove `deps/base64/base64/.github/`.
PR-URL: nodejs#46091
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Ruy Adorno <ruyadorno@google.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
RafaelGSS pushed a commit that referenced this pull request Jan 20, 2023
- Ignore `.github` directories in the `deps` directory.
- Remove `deps/base64/base64/.github/`.
PR-URL: #46091
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Ruy Adorno <ruyadorno@google.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
@RafaelGSSRafaelGSS mentioned this pull request Jan 20, 2023
juanarbol pushed a commit that referenced this pull request Jan 26, 2023
- Ignore `.github` directories in the `deps` directory.
- Remove `deps/base64/base64/.github/`.
PR-URL: #46091
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Ruy Adorno <ruyadorno@google.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
@juanarboljuanarbol mentioned this pull request Jan 28, 2023
juanarbol pushed a commit that referenced this pull request Jan 31, 2023
- Ignore `.github` directories in the `deps` directory.
- Remove `deps/base64/base64/.github/`.
PR-URL: #46091
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Ruy Adorno <ruyadorno@google.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependenciesPull requests that update a dependency file.metaIssues and PRs related to the general management of the project.needs-ciPRs that need a full CI run.v8 engineIssues and PRs related to the V8 dependency.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants

@lpinca@nodejs-github-bot@ruyadorno@targos@cjihrig@gengjiawen