mirror of
https://github.com/not-kennethreitz/convore.json.git
synced 2026-06-05 23:20:19 +00:00
Kenneth Reitz
1 line
3.0 KiB
JSON
1 line
3.0 KiB
JSON
[{"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449984.7006481, "message": "\u201cuse git instead\u201d is a plenty good answer for my situation at least. thanks!", "group_id": 2227, "id": 902008}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449168.4265411, "message": "i figure i could load the .gitignore globs and use those as the `exclude` to rsync_project(), but i do have an untracked file kicking around", "group_id": 2227, "id": 901812}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449361.39657, "message": "hmm, i was thinking i didn't necessarily want to push changes to github first, but i could push them directly to the server, couldn't i?", "group_id": 2227, "id": 901862}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304448964.3637149, "message": "i was using rsync_project() to push code to a server, but decided i only wanted to upload the files that are under source control.", "group_id": 2227, "id": 901789}, {"user_id": 3160, "stars": [{"date_created": 1304449404.5786021, "user_id": 141}], "topic_id": 33461, "date_created": 1304449261.4728739, "message": "Does your server have git? Might want to switch to using git for pushing code, instead of the rsync style.", "group_id": 2227, "id": 901833}, {"user_id": 3160, "stars": [{"date_created": 1304449988.8537309, "user_id": 141}], "topic_id": 33461, "date_created": 1304449496.3031011, "message": "depending on the size of your project and the number of developers, having it pushed to GH first might be a good thing", "group_id": 2227, "id": 901885}, {"user_id": 3160, "stars": [], "topic_id": 33461, "date_created": 1304449454.071949, "message": "yup!", "group_id": 2227, "id": 901879}, {"user_id": 3160, "stars": [{"date_created": 1304496762.0700991, "user_id": 12145}], "topic_id": 33461, "date_created": 1304449516.646173, "message": "you don't want to get in the situation where the server has commits that someone pushed directly, but nobody else has in their local repo", "group_id": 2227, "id": 901894}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449059.6284001, "message": "instead i copied upload_project() and replaced the `tar` with the analogous `git archive`.", "group_id": 2227, "id": 901798}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449114.795553, "message": "does someone have a good recipe for doing an rsync of just the files in a git project?", "group_id": 2227, "id": 901802}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449210.077286, "message": "i also ended up with tracked files that are under a .gitignored directory (for now), so excluding that whole directory would miss them", "group_id": 2227, "id": 901819}, {"user_id": 141, "stars": [], "topic_id": 33461, "date_created": 1304449923.450933, "message": "yeah, it's a tiny messy project right now so sometimes i've wanted to try changes on the server, but as i and the other developer collaborate more we might oughta switch the server to pulling from github", "group_id": 2227, "id": 901992}] |