Opened 6 years ago

Closed 6 years ago

#9545 closed task (fixed)

Please create user/atagar/doctor.git and grant atagar push access to doctor.git

Reported by: karsten Owned by: erinn, nickm, Sebastian, weasel
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Keywords:
Cc: Actual Points:
Parent ID: #8258 Points:
Reviewer: Sponsor:

Description

Short description for user/atagar/doctor.git could be "Damian's DocTor repository".

Please add atagar to the people with push privileges to the official doctor.git.

Thanks!

Child Tickets

Change History (12)

comment:1 Changed 6 years ago by Sebastian

Resolution: fixed
Status: newclosed

done, closing

comment:2 Changed 6 years ago by atagar

Resolution: fixed
Status: closedreopened

Hi Sebastian, are you sure that I have access to the main doctor repository?

atagar@morrigan:~/Desktop/tor/tor-utils$ git remote -v
doctor	ssh://torgit/doctor.git (fetch)
doctor	ssh://torgit/doctor.git (push)
origin	ssh://torgit/atagar/tor-utils.git (fetch)
origin	ssh://torgit/atagar/tor-utils.git (push)

atagar@morrigan:~/Desktop/tor/tor-utils$ git push doctor HEAD:stem-based
W access for doctor DENIED to atagar
fatal: The remote end hung up unexpectedly

comment:3 Changed 6 years ago by atagar

Hmmm, on second thought we might need a little admin intervention here concerning the branches. The project presently has both a java and python version, the plan being to phase out the java version in favour of python.

Karsten - what would you like the branch structure to be? Shall its present master branch be renamed to 'java' and my current version become the new master?

comment:4 Changed 6 years ago by Sebastian

I had indeed messed up giving you access on the first try, sorry. That part's fixed now.

comment:5 Changed 6 years ago by atagar

Parent ID: #8258

comment:6 in reply to:  3 Changed 6 years ago by karsten

Resolution: fixed
Status: reopenedclosed

Replying to atagar:

Karsten - what would you like the branch structure to be? Shall its present master branch be renamed to 'java' and my current version become the new master?

Sounds like a fine plan. Please find branch java in my public repository. You could base your version on that branch and commit it to the official repository.

Closing this ticket which was only about creating the Git repository. Let's discuss remaining questions of DocTor development via some other channel.

Thanks!

comment:7 Changed 6 years ago by atagar

Hi Karsten. I'm not entirely clear that you understood my suggestion and, if so, why you resolved this. My suggestion was that we have two branches...

  • java - this is the present master
  • master - this is my python counterpart

If we're going to opt for this then we will need a little intervention from Sebastian since non-fast-forward commits are not allowed (so we can't rename branches).

comment:8 Changed 6 years ago by karsten

Resolution: fixed
Status: closedreopened

Ah, I indeed understood something else, where Java and Python would co-exist in the same master branch. But what you suggest also makes sense. Ideally, your README would mention the java branch for the poor people trying to find the Java version they expected to find in the master branch.

Sebastian, can you help with the thing atagar suggests?

comment:9 Changed 6 years ago by weasel

Status: reopenedneeds_information

Please say exactly what you want git maintainers. Discussions about how to handle your repositories once you have them should be done elsewhere.

comment:10 Changed 6 years ago by atagar

Please say exactly what you want git maintainers.

Again, what we would like is for the Doctor's 'master' branch to be renamed to 'java'. That's the only intervention we need.

comment:11 Changed 6 years ago by atagar

Status: needs_informationnew

Ooops, forgot to swap the status.

comment:12 Changed 6 years ago by weasel

Resolution: fixed
Status: newclosed

That's nothing that requires us, AIUI.

Note: See TracTickets for help on using tickets.