Closed scottjab closed 11 years ago
So we add it into the code and branch it at the end? Bc that's kinda what we r starting on now.
On Monday, March 11, 2013, James Scott wrote:
I don't have a good name for it, but there will be pistons that push the bot up when we hand from the top. We need one more system for the end game. If you come up with a better name let me know. Please work in a branch for this, ether clone to your personal repo and submit a pull request, or work in a branch. If you work in a branch just do a:
git checkout -b
To push your branch to github do git push origin — Reply to this email directly or view it on GitHubhttps://github.com/DECABotz-3186/decabotz-2013/issues/6 .
Are you working in a clone? or in the master repo?
Master.
On Monday, March 11, 2013, James Scott wrote:
Are you working in a clone? or in the master repo?
— Reply to this email directly or view it on GitHubhttps://github.com/DECABotz-3186/decabotz-2013/issues/6#issuecomment-14739468 .
Create a branch then
git checkout -b endgame
When you are done with todays code just push it back, and I will take a look before we merge it.
git push endgame origin
In the future you should work in your personal copy of the repo, then issue a pull request, but a branch will work fine.
Ok. Sorry.
On Monday, March 11, 2013, James Scott wrote:
Create a branch then git checkout -b endgame
When you are done with todays code just push it back, and I will take a look before we merge it. git push endgame origin
In the future you should work in your personal copy of the repo, then issue a pull request, but a branch will work fine.
— Reply to this email directly or view it on GitHubhttps://github.com/DECABotz-3186/decabotz-2013/issues/6#issuecomment-14739638 .
No worries, using pull requests just helps github track the issue better, both are for the most part the same thing.
This is good to merge :thumbsup:
I don't have a good name for it, but there will be pistons that push the bot up when we hand from the top. We need one more system for the end game. If you come up with a better name let me know. Please work in a branch for this, ether clone to your personal repo and submit a pull request, or work in a branch. If you work in a branch just do a:
git checkout -b <branchname>
To push your branch to github dogit push <branchname> origin