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 registry field to dependency schema #757

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Add registry field to dependency schema #757

merged 1 commit into from
Oct 6, 2023

Conversation

mkaput
Copy link
Member

@mkaput mkaput commented Oct 5, 2023

Stack:

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 09584d9 to 80af4a7 Compare October 6, 2023 08:10
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch 2 times, most recently from 2898a1c to 686bd81 Compare October 6, 2023 08:58
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 80af4a7 to 5960456 Compare October 6, 2023 08:58
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697
- #732
- #710⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 5960456 to e8b8c7b Compare October 6, 2023 09:27
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from 686bd81 to d84eb6e Compare October 6, 2023 09:27
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697
- #732⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from d84eb6e to d5b19d1 Compare October 6, 2023 09:57
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from e8b8c7b to 576f803 Compare October 6, 2023 09:57
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
**Stack**:
- #758
- #757
- #748
- #746
- #733
- #697⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from d5b19d1 to d257b16 Compare October 6, 2023 10:41
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 576f803 to 2e2f96f Compare October 6, 2023 10:41
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
**Stack**:
- #758
- #757
- #748
- #746
- #733⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from d257b16 to 9ea3f37 Compare October 6, 2023 11:30
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 2e2f96f to 0088929 Compare October 6, 2023 11:30
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
This PR makes `scarb package` check for `.scarbignore` files when
determining package source files set. This is a trivial addition thanks
to features of the `ignore` crate.

Supporting this file is effectively a similar feature to the
include/exclude fields of Cargo
(https://doc.rust-lang.org/cargo/reference/manifest.html#the-exclude-and-include-fields).
This PR fixes #644 then, as we do not want to create multiple ways of
achieving the same thing.

---

**Stack**:
- #758
- #757
- #748
- #746⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from 9ea3f37 to 86b5a84 Compare October 6, 2023 12:02
@mkaput mkaput force-pushed the spr/main/42d7d77a branch from 0088929 to 53f898c Compare October 6, 2023 12:02
github-merge-queue bot pushed a commit that referenced this pull request Oct 6, 2023
… to avoid cloning it (#748)

**Stack**:
- #758
- #757
- #748⚠️ *Part of a stack created by [spr](https://github.com/ejoffe/spr). Do
not merge manually using the UI - doing so may have unexpected results.*
Base automatically changed from spr/main/42d7d77a to main October 6, 2023 12:20
@mkaput mkaput force-pushed the spr/main/3dd75c42 branch from 86b5a84 to 7157976 Compare October 6, 2023 18:15
@mkaput mkaput enabled auto-merge October 6, 2023 18:16
@mkaput mkaput added this pull request to the merge queue Oct 6, 2023
Merged via the queue into main with commit d09f6e2 Oct 6, 2023
@mkaput mkaput deleted the spr/main/3dd75c42 branch October 6, 2023 18:32
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.

2 participants