jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396017 )
Change subject: RepoNG: Remove username conversion feature
......................................................................
RepoNG: Remove username conversion feature
I accidentally broke it, and now it is no longer required
Change-Id: I070c8e9a862e6fce435c79ad1cbcf1172ccb29da
---
M repong/repong.php
1 file changed, 1 insertion(+), 9 deletions(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/repong/repong.php b/repong/repong.php
index ac7462d..ee5da12 100644
--- a/repong/repong.php
+++ b/repong/repong.php
@@ -16,9 +16,6 @@
abstract class RepoNgCommand extends Command {
protected $bindir;
protected $config;
- protected $usernameConversion = [
- 'nike' => 'nikerabbit',
- ];
protected $parallelism = 1;
protected $base;
protected $defaultVariant;
@@ -272,12 +269,7 @@
}
if ( $type === 'git' ) {
- $userName = $this->usernameConversion[
$userName ] ?? get_current_user();
-
- $repoUrl = $repo['url'];
- $repoUrl = str_replace( 'USERNAME', $userName,
$repoUrl );
-
- $command = "$bindir/clupdate-git-repo
'$repoUrl' '$base/$name' '$branch'";
+ $command = "$bindir/clupdate-git-repo
'{$repo['url']}' '$base/$name' '$branch'";
} elseif ( $type === 'github' ) {
$command = "$bindir/clupdate-github-repo
'{$repo['url']}' '$base/$name' '$branch'";
} elseif ( $type === 'wmgerrit' ) {
--
To view, visit https://gerrit.wikimedia.org/r/396017
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I070c8e9a862e6fce435c79ad1cbcf1172ccb29da
Gerrit-PatchSet: 3
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
