Push access will be blocked from 19:00 to 20:00, Feb., 23

[carlosjoserg]

Hi all,

I will be transferring this repository to the pacman's github account (some of you will loose access, since you are not in that organization, but we will find a way).

For that reason, I'd like you to sync your local repository to the this remote before 19:00 today, Feb. 23.

What to do after the transfer?

Github manages automatically the URL reroute, however, it is safer if you just re-clone the repository again from the new address.

Thanks

[carlosjoserg]

This is a reminder that in 10min push access will be blocked to transfer the repository to the pacman's github.

Please, sync your local repository (push all local changes).

[carlosjoserg]

You can't push any changes from now on. You can continue working after the transfer, I will let you know.

Thanks

[carlosjoserg]

Hi all,

The repo transfer was successful, and first comits are already at this address that confirms it. I'd suggest all reports towards the review be included here (follow instructions in the README. Please, do not commit temporary pdfs. I will generate the final submitted version and commit it under a submitted folder anf copy them to the corresponding GDrive folder.

@marekkopicki, could you please create a team called "Editors" with push&pull access to differentiate from the dev team? I will reassign the repo later. I will close the issue after that is done.

If you have any questions, please use the issue feature on github.

Carlos

[marekkopicki]

I have created pacman-reports team with admin access. Let me know who else should have admin there.

@carlosjoserg: I have created Documents repo to cover things like pacman-reports. Because we are at the Githum limit of private repo number, Documents can be removed, if anyone would like to create a new private repo in pacman.

Marek

[carlosjoserg]

From UNIPI: @hamalMarino, @manuelbonilla, @Tabjones, @GaspareSantaera, @emalbt (two last still not in the org, but should be added)

From UIBK: at least @piater and @mirelapopa

I have created Documents repo to cover things like pacman-reports

I looked into it and I saw software, I suppose to document the interfaces. Then, since I was transfering this repo from the CentroPiaggio's account, I had no choice but to do it with a different name. Two solutions I propose:

• The longest one
• The short one:
  1. Given that Documents has only 3 commits, copy files by hand (if required) to pacman-reports
  2. Rename pacman-reports -> Documents (for those already working with it, github manages the redirects automatically, eventhough they suggest to update the URL)

Thanks

[carlosjoserg]

I just realize that you say Admin team, so I can add the members myself.

@marekkopicki I leave to you to decide whether to rename the repository or not. Thanks again.

I consider the transfer finished with that, I'm closing the issue.