生徒と教職員の全員に Git リポジトリを、学校のためにホスティング

バージョン管理は情報の授業でも、プログラミングの仕事でも欠かせません。ふつうは生徒ごとに GitHub アカウントを用意して教えますが、13歳未満の生徒は作れず、学校は保護者に説明する必要があります。ここでは何も登録する必要はありません。Git はプラットフォームの一部で、同じログインで使えます。

プラットフォームを利用している学校の教職員と生徒は全員、バーから Git を開き、リポジトリを作り、自分のパソコンからプッシュし、好きな相手と共有できます。オープンソースの Gitea を第三者ではなく当社自身のサーバーで運用しているため、生徒のコードがほかの誰かに渡ることはありません。

利用できる人

学校の教職員と生徒です。個人アカウントで誰でも追加できる Public college のレッスン、ひとりで学ぶ個人アカウント、サイトのシステム管理者は対象外です。利用停止中の学校や、利用停止中または削除待ちのアカウントは、解除されるまで Git を開けません。リポジトリはそのまま保管されます。

手作業の設定はありません。初めて Git を開いたときに、プラットフォーム上の名前で Git のアカウントが作られます。ここでアカウントを削除すると同時に Git も使えなくなり、削除済みの項目から元に戻すと再び使えるようになります。

  1. バーの Git を押す. Git のページに、利用できるかどうかと Git のユーザー名が表示されます。
  2. 「Git を開く」を押す. プラットフォームのアカウントで Git にログインします。別のパスワードはありません。
  3. リポジトリを作る. リポジトリはすべて非公開で、公開にはできません。見られるのは追加した人だけです。

自分のパソコンからプッシュする

ノートパソコンや教室の PC の Git は、パスワードではなくアクセストークンを使って HTTPS でサーバーとやり取りします。Git の Settings の Applications でトークンを作り、リポジトリへのアクセスを許可して、最初に `git push` がパスワードを求めたときに入力します。Git のユーザー名は Git のページに表示されています。

トークンは同じページでいつでも取り消せます。アカウントが削除・利用停止されたり、学校を離れたりすると、トークンも自動的に使えなくなります。

1回のプッシュは100MB まで、Git LFS は1ファイル100MB まで扱えます。SSH はあえて用意していません。ほかの通信をすべて遮断する学校のネットワークでも、HTTPS なら通るためです。

上限と保管場所

1つのアカウントで作れるリポジトリは50個までです。合計で1GB を超えるアカウントは当社で確認し、何か対応する前に学校と相談します。

リポジトリは当社が自ら運用するサーバーに保管され、毎晩コピーを取っています。大きなファイル、画像、添付ファイルも一緒に保管されます。

コーディング課題と Git

コーディング課題はリポジトリから読み込め、テストのファイルは生徒に見せずにおけます。また、課題ごとに生徒専用の非公開リポジトリを作り、クローン、コミット、プッシュさせることもできます。それぞれ専用のページがあります。「Git リポジトリから、非表示のテスト付きのプログラミング課題を作る」と「生徒全員に、クローン・コミット・プッシュできる Git リポジトリを」です。

よくある質問

生徒は採点に使うテストを変更できますか?
いいえ。非表示のテストファイルは生徒に渡されず、課題物をテストまたは採点するたびに、教員の非表示ファイルと保護ファイルが課題から戻されます。自分のリポジトリでテストを変更しても、変わるのは自分に見える内容だけです。
生徒に GitHub アカウントは必要ですか?
いいえ。Git はプラットフォームの一部で、いつものアカウントのまま使えます。リポジトリはGitHub ではなく当社のサーバーにあります。
学校の外の人が生徒のコードを見ることはできますか?
いいえ。リポジトリはすべて非公開で、公開にはできません。見られるのは所有者が追加した人だけで、ログインせずにサーバーを閲覧することもできません。
生徒が学校を離れると、リポジトリはどうなりますか?
アカウントが削除または利用停止されると Git へのログインが止まり、リポジトリはそのまま保管されます。アカウントを元に戻せば、リポジトリも戻ります。