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.

Sign up for GitHub

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

Jump to bottom

Pins to remote branches #754

Merged
merged 13 commits into from
Jun 25, 2021
Merged

Pins to remote branches #754

merged 13 commits into from
Jun 25, 2021

Conversation

mosteo
Copy link
Member

@mosteo mosteo commented Jun 21, 2021

An enhancement on top of #743 and #751. Now you can do

[[pins]]
foo = { url="http://blah", branch="bar" }

@mosteo mosteo changed the base branch from master to fix/pin-recurse June 21, 2021 12:30
@mosteo mosteo force-pushed the fix/pin-recurse branch from 3787067 to 0a64245 Compare June 22, 2021 16:04
@mosteo mosteo force-pushed the feat/pin-branch branch from ebb909c to 6d20d5f Compare June 22, 2021 16:05
Base automatically changed from fix/pin-recurse to merging/pins June 23, 2021 10:15
@mosteo mosteo force-pushed the feat/pin-branch branch from 6d20d5f to 71547fb Compare June 23, 2021 10:37
@mosteo mosteo force-pushed the feat/pin-branch branch from 2270629 to 8db332a Compare June 23, 2021 11:43
@mosteo mosteo force-pushed the feat/pin-branch branch from 69e9dd8 to d8cc0be Compare June 23, 2021 12:34
@mosteo mosteo force-pushed the feat/pin-branch branch from d8cc0be to c0c0c78 Compare June 23, 2021 14:13
@mosteo mosteo marked this pull request as ready for review June 23, 2021 14:45
@mosteo mosteo requested a review from Fabien-Chouteau June 23, 2021 14:45
Fabien-Chouteau
Fabien-Chouteau requested changes Jun 23, 2021
View reviewed changes
src/alire/alire-user_pins.adb Show resolved Hide resolved
testsuite/drivers/helpers.py Outdated Show resolved Hide resolved
@mosteo mosteo merged commit 96ab896 into merging/pins Jun 25, 2021
@mosteo mosteo deleted the feat/pin-branch branch June 25, 2021 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Fabien-Chouteau Fabien-Chouteau Fabien-Chouteau approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mosteo @Fabien-Chouteau