Project

General

Profile

Actions
Copy link

Architecture #5354

closed

Script repo-merge.sh should use github for packaging repository

Added by Nicolas PERRON over 10 years ago. Updated almost 8 years ago.

Status:
Rejected
Priority:
N/A
Assignee:
-
Category:
Scripts
Target version:
-
Pull Request:
Effort required:
Name check:
Fix check:
Regression:

Description

The script repo-merge.sh merge every branches from every git repositories but make an exception for packaging repository which was internal. Now, this is on github and repo-merge.sh should take it into account.

Subtasks 1 (0 open — 1 closed)

Architecture #5356: Change url of cloned repository for packagingReleasedJonathan CLARKE2014-08-05Actions
Actions
Copy link
 #1

Updated by Benoît PECCATTE almost 10 years ago

  • Category set to Scripts
Actions
Copy link
 #2

Updated by Benoît PECCATTE over 9 years ago

  • Assignee deleted (Nicolas PERRON)
Actions
Copy link
 #3

Updated by Benoît PECCATTE almost 8 years ago

  • Status changed from New to Rejected

It is already the case.
Plus, this script is hardly used anymore

Actions
Copy link

Also available in: Atom PDF