Do people say

English sentences with git pull in context,

27 exact matches

With that JSON payload being captured and parsed, I am not sure how I could use the JSON to execute commands such as `git pull`.
source: Redditshow contexthide context

This way, whenever someone does a `Pull Request` and it gets merged, it should automatically do a `git pull` on the server side.
source: Redditshow contexthide context

(By this, I mean that on PC B I initiated a git pull from the PC A remote.)
source: Redditshow contexthide context

It also can be a touch slow when compared with an ansible role that simple git pulls your application and then migrates the database.
source: Redditshow contexthide context

Linus, git-pull, your name.
source: Redditshow contexthide context

(There are alternatives to the fetch/checkout step that might make more sense - `git checkout master; git pull` would probably work, but I don't recall if it'll work in a fresh clone of DFHack.)
source: Redditshow contexthide context

So much so, that I don't even use git pull anymore.
source: Redditshow contexthide context

Probably easiest to do git pulls of Mediawiki and the components directly.
source: Redditshow contexthide context

Use your favorite plugin manager to update to latest (git pull master) if you encounter any issues.
source: Redditshow contexthide context

Unless I'm missing something, git (pull) deployments imply committing vendors and build targets (it's bad practice and painful), or installing vendors and building on production server.
source: Redditshow contexthide context

Your integration platform packaging your app (a good old tar.gz with vendors and assets built), which you deploy with whatever you want (ansible, fabric, ...) is pretty standard, works well and is a lot cleaner than git pull on servers IMO.
source: Redditshow contexthide context

But my "`git pull origin otherbranch`" did not do a commit.
source: Redditshow contexthide context

Write a git hook, so if they push to a production branch it copies the branch to the production codebase, OR even better cd into the production code base and automatically git pull that branch.
source: Redditshow contexthide context

Ah, but "`git pull origin otherbranch`" merged `otherbranch` into my working tree, messing up my files.
source: Redditshow contexthide context

There's no `git pull` going on serverside.
source: Redditshow contexthide context

Then, I SSH into my web host, navigate to the right directory, and run git pull to retrieve the changes I just made.
source: Redditshow contexthide context

Sorry, I guess when we do git pulls your copy of evil git removes random icons before your ./configure
source: Redditshow contexthide context

If no, then we're fine, as this method is equivalent to going into the source package and running `cabal install` after it has been run before, just like you would do if you `git pull`ed.
source: Redditshow contexthide context

can i just do a git pull?
source: Reddit

git pull; go build;
source: Redditshow contexthide context

Git pull, then run scons.
source: Redditshow contexthide context

git stash; git pull; git stash pop; git mergetool; git commit -am "lols I did dun some changes"; git push
source: Reddit

git stash && git pull && git stash pop
source: Redditshow contexthide context

Hopefully he will remember to git pull
source: Redditshow contexthide context

The garbage-collection algorithm runs periodically on commands like `git pull`, and looks through every reflog, traverses every object it can find, and gets rid of all the unreachable ones.
source: Redditshow contexthide context

In the past I've used triggered git pulls using github webhooks for really small projects, but some tools for the projects in between would be great.
source: Redditshow contexthide context

The more common way when using a service like AWS or something that allows ssh access is to push to a Github repository from your local computer, and then ssh into your live production server and use "git pull" from your code's home directory.
source: Redditshow contexthide context

But Ansible can also run in a pull mode, where it connects to a git host, pulls down a config, and runs it.
source: Redditshow contexthide context

Did a clean install and used git to pull down all my files.
source: Redditshow contexthide context

and i don't want to use git to pull in stuff.
source: Redditshow contexthide context

I saw that Github's developers released `hub` which appears to have all of the features of git, plus pull requests and other Github-specific ones.
source: Reddit

I pull out sed and awk on a daily basis; I write fiction using LaTeX and keep it backed up with git; I use python's interactive shell as a calculator.
source: Redditshow contexthide context

Yes: if you sent me a patch for that issue (I would prefer a git formatted patch to a pull request, but I won't quibble over the latter) I would happily integrate the change!
source: Reddit

I use DO for my Django app and the way I do this is via git and Fabric – when I'm done with my changes I commit them to a master branch and then have a Fabfile (easy to set up) which logs into the DO server and pulls my changes then restarts the app.
source: Redditshow contexthide context

This is still difficult to pull off with GitS for the aforementioned reasons.
source: Redditshow contexthide context

She seems like she could pull off The Major, but I doubt a live action GITS movie would be good.
source: Reddit

It's great because you don't need root, all recipes are manager in git so you can easily pin versions/pull updates.
source: Redditshow contexthide context

With free software projects (I'll stick to git terminology here, I know there's other VCSs), anyone can make a pull request - basically, you submit changes to the code which you think should be in the main codebase - the pull request needs to be approved by the owner(s) of the repository.
source: Redditshow contexthide context

GITS live action with her will be a mess, motoko is 90% of the time reasoning intelligently outloud, Scarlett can't pull that off.
source: Redditshow contexthide context

Doesn't git run as a process under the user who made the pull so the user retains the permissions?
source: Redditshow contexthide context

They want a centralized repository, and Git doesn't scale that way - it scales toward a pull-based model.
source: Redditshow contexthide context

Depending on the environment setup you can use the git module for code for example to pull code as well.
source: Redditshow contexthide context

- package manager supports regular rebuilding of packages that pull the source code from git/svn/etc.
source: Redditshow contexthide context

Edit: and Linus Torvalds, creator of Linux and Git (on which Github is based) doesn't use the Github pull request system.
source: Redditshow contexthide context

Single words like "push", "branch", "checkout", "commit", "pull", "rebase" etc etc do not really describe what they do perfectly in the way most people "imagine what git does".
source: Redditshow contexthide context

We ssh into the live server and pull from git.
source: Redditshow contexthide context

We ssh into the live server and pull from git.
source: Redditshow contexthide context

With this you could pull the current wiki, create a private git repo (e.g.
source: Redditshow contexthide context

Git pretty lucky to get EJC my first pull
source: Reddit

Do universities do that now - pull from students git repos?
source: Redditshow contexthide context