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

Make IndexGitRepo signal whether there were changes #781

Merged
merged 1 commit into from
May 29, 2024

Conversation

isker
Copy link
Contributor

@isker isker commented May 10, 2024

As described, we'd like this information to be externally available to drive metrics for incremental indexing.

Closes #780.

Copy link

cla-bot bot commented May 10, 2024

We require contributors to sign our Contributor License Agreement (CLA), and we don't have yours on file. In order for us to review and merge your code, please sign CLA to get yourself added.

Sourcegraph teammates should refer to Accepting contributions for guidance.

@isker
Copy link
Contributor Author

isker commented May 10, 2024

Hmm, I've contributed in the past without signing that.

@keegancsmith
Copy link
Member

Hmm, I've contributed in the past without signing that.

I'll be honest I don't know much about these things, let me check in.

As described, we'd like this information to be externally available to
drive metrics for incremental indexing.

Closes sourcegraph#780.
@isker isker force-pushed the gitindex-up-to-date branch from f391f3e to 3066e30 Compare May 11, 2024 03:49
Copy link

cla-bot bot commented May 11, 2024

We require contributors to sign our Contributor License Agreement (CLA), and we don't have yours on file. In order for us to review and merge your code, please sign CLA to get yourself added.

Sourcegraph teammates should refer to Accepting contributions for guidance.

@isker
Copy link
Contributor Author

isker commented May 11, 2024

Sorry about those test failures, to be honest I thought go build ./... compiled tests. Should be good now.

@isker
Copy link
Contributor Author

isker commented May 21, 2024

@keegancsmith ping

@jtibshirani
Copy link
Member

@isker sorry for the slow response!! We require a CLA for Zoekt contributions too. I can merge right after it's signed.

@isker
Copy link
Contributor Author

isker commented May 28, 2024

@jtibshirani Please help me understand. This has not been required for my and others' previous contributions, and it of course was not required for contributions to the project as it existed before sourcegraph took ownership.

The project has in fact already seen a situation like this where the CLA requirement was determined to be a mistake (presumably because it was blanket applied to the sourcegraph org?): #409 (comment). You're saying this is not a mistake this time? cc @jdorfman.

@jdorfman
Copy link
Member

@isker looking into this now.

@jdorfman
Copy link
Member

@isker Update: I reached out to legal to understand why your past 7 commits were CLA-free. I will follow up ASAP.

@isker
Copy link
Contributor Author

isker commented May 28, 2024

My past commits were CLA-free because there was no requirement to sign a CLA, and indeed you removed that requirement after it was briefly added for a time: #409 (comment). It is the same for any other past contributor to the project; it has nothing to do with me in particular.

@jtibshirani
Copy link
Member

@isker I was mistaken about our policy, I apologize for that! @jdorfman thanks for jumping in here and helping figure this out.

@isker
Copy link
Contributor Author

isker commented May 28, 2024

Thanks. This otherwise just needs somebody to merge 🌞.

@jdorfman
Copy link
Member

@keegancsmith @jtibshirani, you can override and merge this while I deal with legal. If someone asks you why, you can link back to this very comment. :)

@isker thanks so much for your contribution. I apologize for the unpleasant experience. That's on me.

@jtibshirani jtibshirani merged commit f9834a4 into sourcegraph:main May 29, 2024
8 of 9 checks passed
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.

gitindex: inform the caller whether there were changes since the last index
4 participants