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

Feature: pull from remote at Branch dashboard #699

Merged
merged 1 commit into from
Jul 18, 2017
Merged

Conversation

randy3k
Copy link
Collaborator

@randy3k randy3k commented Jul 18, 2017

  • [u] key to pull selected branch from remote at Branch dashboard

The maintainers of this repo require that all pull request submitters agree and adhere to the following:

  • I have read and agree to the contribution guidelines.
    (required)
  • All related documentation has been updated to reflect the changes made. (required)
  • My commit messages are cleaned up and ready to merge. (required)

The maintainers of this repository require you to select the semantic version type that
the changes in this pull request represent. Please select one of the following:

  • major
  • minor
  • patch
  • documentation only

@maintainerd
Copy link

maintainerd bot commented Jul 18, 2017

maintainerd logging is enabled for this repository.

All actions related to rules and their enforcement will be logged here as a permanent record.


Click to view log...

  • 2017-07-18T05:48:16.051Z:b229eec: The pull request was created
  • 2017-07-18T05:48:30.079Z:b229eec: @randy3k checked My commit messages are cleaned up and ready to merge. _(required)_.
  • 2017-07-18T05:48:31.466Z:b229eec: @randy3k selected patch as the semantic version.
  • 2017-07-18T05:48:49.850Z:b229eec: @randy3k checked All related documentation has been updated to reflect the changes made. _(required)_.

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