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

Update .gitignore #1137

Merged
merged 4 commits into from
Sep 6, 2023
Merged

Update .gitignore #1137

merged 4 commits into from
Sep 6, 2023

Conversation

PProfizi
Copy link
Contributor

@PProfizi PProfizi commented Sep 6, 2023

to prevent from pushing changes in gate, gatebin or grpc

Trying to find a way to automatically remove changes for these folders from the git stage.
ATM I think the required steps are:

  • stash changes to these specific folders -> can be part of the pre-commit hooked tasks
  • commit
  • unstash/apply stash back to the working directory -> requires to set a post-commit hook

@PProfizi PProfizi added the CI/CD Related to CI/CD label Sep 6, 2023
@PProfizi PProfizi added this to the v0.9.1 milestone Sep 6, 2023
@PProfizi PProfizi requested a review from anslpa September 6, 2023 12:37
@PProfizi PProfizi self-assigned this Sep 6, 2023
@codecov
Copy link

codecov bot commented Sep 6, 2023

Codecov Report

Merging #1137 (d8272b0) into master (2c7f4bf) will increase coverage by 1.16%.
The diff coverage is n/a.

❗ Current head d8272b0 differs from pull request most recent head 12a66db. Consider uploading reports for the commit 12a66db to get more accurate results

@@            Coverage Diff             @@
##           master    #1137      +/-   ##
==========================================
+ Coverage   86.10%   87.26%   +1.16%     
==========================================
  Files          81       81              
  Lines        9197     9197              
==========================================
+ Hits         7919     8026     +107     
+ Misses       1278     1171     -107     

@PProfizi PProfizi merged commit d642dfe into master Sep 6, 2023
24 of 26 checks passed
@PProfizi PProfizi deleted the maint/fix_gitignore branch September 6, 2023 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/CD Related to CI/CD
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants