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 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 context
(By this, I mean that on PC B I initiated a git pull from the PC A remote.)
source: Redditshow 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 context
Linus, git-pull, your name.
source: Redditshow 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 context
So much so, that I don't even use git pull anymore.
source: Redditshow context
Probably easiest to do git pulls of Mediawiki and the components directly.
source: Redditshow context
Use your favorite plugin manager to update to latest (git pull master) if you encounter any issues.
source: Redditshow 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 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 context
But my "`git pull origin otherbranch`" did not do a commit.
source: Redditshow 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 context
Ah, but "`git pull origin otherbranch`" merged `otherbranch` into my working tree, messing up my files.
source: Redditshow context
There's no `git pull` going on serverside.
source: Redditshow 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 context
Sorry, I guess when we do git pulls your copy of evil git removes random icons before your ./configure
source: Redditshow 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 context
can i just do a git pull?
source: Reddit
git pull; go build;
source: Redditshow context
Git pull, then run scons.
source: Redditshow 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 context
Hopefully he will remember to git pull
source: Redditshow 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 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 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 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 context
Did a clean install and used git to pull down all my files.
source: Redditshow context
and i don't want to use git to pull in stuff.
source: Redditshow 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 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 context
This is still difficult to pull off with GitS for the aforementioned reasons.
source: Redditshow 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 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 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 context
Doesn't git run as a process under the user who made the pull so the user retains the permissions?
source: Redditshow context
They want a centralized repository, and Git doesn't scale that way - it scales toward a pull-based model.
source: Redditshow context
Depending on the environment setup you can use the git module for code for example to pull code as well.
source: Redditshow context
- package manager supports regular rebuilding of packages that pull the source code from git/svn/etc.
source: Redditshow 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 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 context
We ssh into the live server and pull from git.
source: Redditshow context
We ssh into the live server and pull from git.
source: Redditshow context
With this you could pull the current wiki, create a private git repo (e.g.
source: Redditshow context
Git pretty lucky to get EJC my first pull
source: Reddit
Do universities do that now - pull from students git repos?
source: Redditshow context