論文執筆を支える継続的インテグレーション: Git から Amazon S3 まで - ymyzk’s blog
この記事は CAMPHOR- Advent Calendar 2017 8日目の記事です． 学位論文を書く季節になってきました．論文を書く際にはきちんとバックアップを取っておかなければならないなど，実際の執筆以外でも気を遣わなければならないことが多くあります．この記事では，ソフトウェア開発における継続的インテグレーション (CI) や継続的デリバリー (CD) の考え方を取り入れ，様々なツールを活用することで，論文の執筆に集中できる環境を整備する方法を紹介します． 対象読者 基本的に TeX を使って論文を書く人を想定しています．(Word などで論文を書かざるを得ない環境にいる方には申し訳ない) 目標 この記事では以下のようなものを作っていく方法について説明します． Git と GitHub でバージョン管理 CircleCI でコンパイルやスペルチェックを実行 生成された PDF ファ
GitHub おじさん スターターキット - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事はGit Advent Calendar 2015の16日目の記事です。 はじめに この記事を読むと、GitHub と Git を人に紹介する時や、GitHub 導入後に注意すること、GitHub 普及の際のメンタルついて知識が得られます。 ある程度、Git, GitHub の知識があり、これから現場に GitHub を普及させたい方に有用な記事かもしれません。技術的な Tips は少なめです。 目次 どうも、GitHub おじさん、または 一度死んだおじさん こと沖縄の金城です。GitHubについてと人に説明する機会や導入する
GitHub にパスワードとかセンシティブなファイルを push してしまったときの対処法 - Qiita
すればすぐ何もなかったことにできます。 が！そこで気付かずに GitHub へ git push してしまった！こうなると容易に何もなかったことにはできません。 この記事では、こういうときに何もなかったことにする方法を紹介します。 そのデータを無効にする 特に Public Repository の場合はすでにそのデータが他人の目に触れていた…ということも十分ありえます。AWS_SECRET_ACCESS_KEY なんかは取得用のクローラが存在するとも聞きます。ので、まずは不正利用されても影響が出ないように、__パスワードの書き換えやトークンの無効化__を施しましょう。 （この時点でもう何もなかったことになってない気がする） git の履歴から該当のファイルを消す git reset と git filter-branch 2つの方法があります。 git reset (2015-12-29
GitHubに登録して複数のPCからpushできるように設定する方法まとめ - 見方次第
Gitの学習をした時の参照リンクとメモ - 見方次第 上記の記事である程度のgitを使える知識が付いたのでそのままGitHubにコードを乗せて複数のPCからコードが編集出来るように設定した方法まとめ。 [ git ][ Mac ] Macにgitをインストールしてそのままgithubにも登録 at kishi-r.com 上記記事を参考にして進む。 途中の「SSH Keys」がPC毎に設定した方がよさげらしいです。 SSH Keysの作成、設定 使用するPC毎に設定するみたいなのでメモ .ssh/ 以下に移動して # ssh-keygen を入力、最初のファイル名を「github_id_rsa」にしてパスワード登録 作成された「github_id_rsa.pub」の中身を Log in - GitHub に登録させておく .ssh/configを作成して以下を記入 Host github.
GitHub初心者はForkしない方のPull Requestから入門しよう // qnyp blog
2013/08/13 GitHubの新デザインに対応するために記事内容・画像をアップデートしました。 こんにちは、ブログ記事を書くのが約2年ぶりのruedapです。 さっそくですが、Pull Request（プルリクエスト）機能を使ったことはありますか？ GitHubの代表的な機能で、「pull req」や「PR」とも略されたりして、名前はよく聞きますよね。 この記事は、Gitはいちおう入門済みで、GitHubも使い始めたけど、Pull Request機能はまだ使ったことがない、そんな人に向けた 簡単な方のPull Request の入門記事です。 もう1つのPull Requestについて Pull Request機能の解説としてよくあるのは「他の人のリポジトリを自分のGitHubアカウントにFork（コピー）してきて、変更を加えて、それを元のリポジトリに取り込んでもらうようにリクエスト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてなブログチームの開発フローとGitHub（前編）。GitHub Kaigi 2014
http://papix.hateblo.jp/entry/2013/05/22/032747