diff --git a/getmappings.php b/getmappings.php index 7360505..3e2bfd2 100755 --- a/getmappings.php +++ b/getmappings.php @@ -32,6 +32,13 @@ function writeUsers($projectsById, $membershipMapping) { foreach ($membershipMapping as $email => $projectId) { fwrite ($userHandle, "$email,{$projectsById[$projectId]}\n"); } + // Handle special user cases. + $specialUsers = fopen(__DIR__ . '/data/specialusers.csv', 'r'); + while (!feof($specialUsers)) { + $specialUser = fread($specialUsers, 1000); + fwrite ($userHandle, $specialUser); + } + fclose($specialUsers); fclose($userHandle); }