Patchbot nitpicks with Sage-git

13 views
Skip to first unread message

Volker Braun

unread,
Dec 18, 2013, 11:17:40 AM12/18/13
to sage...@googlegroups.com
I'm pretty sure that git_base_human is less readable than base. Is this just a patchbot bug or should we help him with something special in the git repo?

{'base': '6.0',
 'deps': [],
 'git_base': '2e778682424ed6a72c1689f787d144301e7026f2',
 'git_base_human': '5.13.beta2 + 5041\n commits',
 'git_branch': 'build_system-fixed_tests',
 'git_commit': '2e778682424ed6a72c1689f787d144301e7026f2',
 'git_log': [],
 'git_merge': '2e778682424ed6a72c1689f787d144301e7026f2',
 'machine': ['Fedora', '19', 'x86_64', '3.11.10-200.fc19.x86_64', 'desktop'],
 'patchbot_version': '2.0.1',
 'patches': [],
 'pending_status': 'plugins_passed',
 'plugins': [],
 'spkgs': [],
 'status': 'Pending',
 'time': '2013-12-18 15:41:50 +0000',
 'user': 'patchbot'}

Robert Bradshaw

unread,
Dec 18, 2013, 11:56:29 AM12/18/13
to sage...@googlegroups.com
Base should probably go away, it doesn't exactly specify the release.
I'll look at fixing this up now that we have an actual release in
master.
> --
> You received this message because you are subscribed to the Google Groups
> "sage-git" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-git+u...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
Reply all
Reply to author
Forward
0 new messages