生徒と教職員の全員に Git リポジトリを、学校のためにホスティング
バージョン管理は情報の授業でも、プログラミングの仕事でも欠かせません。ふつうは生徒ごとに GitHub アカウントを用意して教えますが、13歳未満の生徒は作れず、学校は保護者に説明する必要があります。ここでは何も登録する必要はありません。Git はプラットフォームの一部で、同じログインで使えます。
プラットフォームを利用している学校の教職員と生徒は全員、バーから Git を開き、リポジトリを作り、自分のパソコンからプッシュし、好きな相手と共有できます。オープンソースの Gitea を第三者ではなく当社自身のサーバーで運用しているため、生徒のコードがほかの誰かに渡ることはありません。
利用できる人
学校の教職員と生徒です。個人アカウントで誰でも追加できる Public college のレッスン、ひとりで学ぶ個人アカウント、サイトのシステム管理者は対象外です。利用停止中の学校や、利用停止中または削除待ちのアカウントは、解除されるまで Git を開けません。リポジトリはそのまま保管されます。
手作業の設定はありません。初めて Git を開いたときに、プラットフォーム上の名前で Git のアカウントが作られます。ここでアカウントを削除すると同時に Git も使えなくなり、削除済みの項目から元に戻すと再び使えるようになります。
- バーの Git を押す. Git のページに、利用できるかどうかと Git のユーザー名が表示されます。
- 「Git を開く」を押す. プラットフォームのアカウントで Git にログインします。別のパスワードはありません。
- リポジトリを作る. リポジトリはすべて非公開で、公開にはできません。見られるのは追加した人だけです。
自分のパソコンからプッシュする
ノートパソコンや教室の 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 へのログインが止まり、リポジトリはそのまま保管されます。アカウントを元に戻せば、リポジトリも戻ります。