Skip to content
This repository has been archived by the owner on Nov 30, 2021. It is now read-only.

Fixed #304 -- added more helpful error when deis run comes before git push. #323

Merged
merged 1 commit into from Nov 13, 2013
Merged

Fixed #304 -- added more helpful error when deis run comes before git push. #323

merged 1 commit into from Nov 13, 2013

Conversation

mboersma
Copy link
Member

No description provided.

@ghost ghost assigned gabrtv Nov 13, 2013
@coveralls
Copy link

Coverage Status

Coverage remained the same when pulling b59f28b on 304-run-before-push into 36aae0e on master.

gabrtv pushed a commit that referenced this pull request Nov 13, 2013
Merge pull request #323 from opdemand/304-run-before-push
55315da 
Fixed #304 -- added more helpful error when `deis run` comes before `git push`.
@gabrtv gabrtv merged commit 55315da into master Nov 13, 2013
@gabrtv gabrtv deleted the 304-run-before-push branch November 13, 2013 15:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@gabrtv gabrtv

Labels
None yet
Projects
None yet
Milestone
0.2.1
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@mboersma @coveralls @gabrtv