Skip to content
This repository was archived by the owner on Sep 11, 2020. It is now read-only.

remote: push, update remote refs on push #498

Merged
merged 1 commit into from
Jul 24, 2017
Merged

remote: push, update remote refs on push #498

merged 1 commit into from
Jul 24, 2017

Conversation

mcuadros
Copy link
Contributor

Fixes #443

This PR completes Remote.Push updating the refs/remotes/ after a push.

@mcuadros mcuadros merged commit 4ee12ab into src-d:master Jul 24, 2017
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants