com web/master: Be more verbose about current github user: manage/github.php

Commit: a821ae03b71d223ad9b3296d95ad3caad6cfef21 Author: Johannes Schlüter <johannes@schlueters.de> Mon, 29 Jul 2013 19:41:51 +0200 Parents: e5b48d2b6ecc3126062e706e72e1fbd3b71a647c Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=a821ae03b71d223ad9b3296d95ad3caad6cfef21 Log: Be more verbose about current github user Changed paths: M manage/github.php Diff: diff --git a/manage/github.php b/manage/github.php index 4dfea13..4267b8a 100644 --- a/manage/github.php +++ b/manage/github.php @@ -90,7 +90,7 @@ function github_require_valid_user() if ($is_member === false) { head("github administration"); - echo '<h1>You are no member of the php organization on github.</h1>'. + echo '<h1>You (Authenticated GitHub user: '.htmlentities($user->login). ') are no member of the php organization on github.</h1>'. '<p>Please contact an existing member if you see need.</p>'; foot(); exit; @@ -126,8 +126,10 @@ function action_default() function action_form() { github_require_valid_user(); + $user = $_SESSION['github']['current_user']; head("github administration"); ?> +<p><b>GitHub user: </b> <?php echo htmlentities($user->login); ?></p> <p>Creating a GitHub repo using this form ensures the proper configuration. This includes disabling the GitHub wiki and issue tracker as well as enabling the php-pulls user to push changes made on git.php.net.</p>