latest 20 messages by puff

+ [2017-02-16T03:56:27Z] puff Evening, I did my initial push for setting up a github repo, but I want to undo that, clear it all out, and start from scratch.
+ [2015-04-11T21:34:52Z] puff Somebody else's project that's neat, I want to remember it.
+ [2015-04-11T21:34:41Z] puff Is there a way in github to sort of bookmark a project?
+ [2015-01-04T07:09:36Z] puff J1G|Anon126: Hi!
+ [2015-01-04T06:48:24Z] puff Knock knock, anybody home?
+ [2014-11-08T23:51:14Z] puff Good evening.
+ [2014-11-08T00:14:57Z] puff Is there one index per repo, or one index per branch?
+ [2014-11-08T00:13:36Z] puff psgs: So I'd push and then email them or whatever and tell them to pull.
+ [2014-11-08T00:13:27Z] puff psgs: thanks.
+ [2014-11-08T00:08:11Z] puff What happens after I git push to a github repo?
+ [2014-11-08T00:07:58Z] puff http://paste.ubuntu.com/8874927/
+ [2014-11-07T04:33:00Z] puff Then.. does anything need to happen at the github repo? Or do my changes just show up when other developers do git pull on the master branch?
+ [2014-11-07T04:32:16Z] puff Then I git push to the github repo.
+ [2014-11-07T04:32:07Z] puff I resolve any conflicts, git add/commit any further changes, git pull again to make sure nobody's added more conflicts since the last pull.
+ [2014-11-07T04:32:01Z] puff First I should pull and recompile/run tests to make sure nobody's made conflicting changes.
+ [2014-11-07T04:31:57Z] puff Er, ready to push, except:
+ [2014-11-07T04:31:51Z] puff Now I'm done with whatever feature I've added, so I'm ready to pull.
+ [2014-11-07T04:31:47Z] puff I git add/commit as I make changes.
+ [2014-11-07T04:31:43Z] puff Hm, so in the normal workflow of github: I clone a git repo, make some changes to my local version.
+ [2014-11-06T21:18:11Z] puff Nevik: and thanks again for your help.