Project

General

Profile

Actions
Copy link

Architecture #5354

closed

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

Added by Nicolas PERRON almost 10 years ago. Updated about 7 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

Also available in: Atom PDF