diff options
author | Michael G. Schwern <schwern@pobox.com> | 2013-02-18 14:17:32 +1100 |
---|---|---|
committer | Michael G. Schwern <schwern@pobox.com> | 2013-02-18 14:17:32 +1100 |
commit | cc93e6fc98777418544eccd81f106b42dd915f5b (patch) | |
tree | 4013af7e2f9607c07b3358e475b24da6609d2680 /.gitattributes | |
parent | 43751b76d3a3e217b367fa5581ef6032379d1c49 (diff) | |
download | my_new_personal_website-cc93e6fc98777418544eccd81f106b42dd915f5b.tar.xz my_new_personal_website-cc93e6fc98777418544eccd81f106b42dd915f5b.zip |
Use the Github API repo sorting.
The Github API can sort by pushed time, no need to do it manually.
http://developer.github.com/v3/repos/#list-user-repositories
This is both more efficient, Github does the sorting, but it also
fixes a bug. Because the list of results are paginated, if you have
more than a page's worth of repositories it will only sort that page.
This results in a false view of what has been recently pushed.
For a good example, try my github account "schwern" with and
without this patch.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions