git interface

[R. Andrew Ohana]

Hey everyone,

I've been working hard on finishing up + doctesting the git interface (see https://github.com/ohanar/sage/commits/dev_scripts/src/sage/dev), but there are a few bits that I have questions/comments on.

1) what is fetch_project supposed to do? is it just fetching the project, or is it fetching the project and creating a branch for it if necessary (and in this case, does it try to merge local changes if there is already a branch? probably better to call it pull_project in that case)

2) what is the purpose of authenticated? it never got integrated with rest of development scripts

3) is released_sage_ver really necessary? after all, we will have a "released" branch

--

Andrew

[Julian Rüth]

> 2) what is the purpose of authenticated? it never got integrated with rest
> of development scripts

authenticated in git_interface.py is a method decorator which runs the
git commands in the decorated method with authenticated access (as opposed to
anonymous access). It probably needs some work. I can look into it and
write docstrings if we want to use it.

julian

[Robert Bradshaw]

I think we figured out that there is only a single command (push) that
needs authentication, and when that is invoked we'd switch from
un-authenticated to authenticate at that point (as there's no benefit
to re-becoming anonymous), so a whole decorator/framework for this was
overkill (and complicated things).