Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: git safe repo directory for docker image #16

Merged
merged 9 commits into from Jul 18, 2022
Merged

fix: git safe repo directory for docker image #16

merged 9 commits into from Jul 18, 2022

Commits on Jul 5, 2022

  1. tooling: git safe repo directory for docker image 

    Fixes an issue introduced with a recent git update
(https://github.blog/2022-04-12-git-security-vulnerability-announced/)
with a common workaround (actions/checkout#762,
https://stackoverflow.com/questions/71901632/fatal-error-unsafe-repository-home-repon-is-owned-by-someone-else,
actions/checkout#760),
by marking the /data directory inside the container as safe for git
during the container build.
    @liketechnik
    liketechnik committed Jul 5, 2022
    Copy the full SHA
    e64394e View commit details
    Browse the repository at this point in the history

  2. tooling: point git to directory instead of disabling security features 

    Easier to maintain version of 7c2b552
that additionally does not fiddle with security sensitive settings.
    @liketechnik
    liketechnik committed Jul 5, 2022
    Copy the full SHA
    8707671 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. style(Makefile): docker git env into separate variable

    @liketechnik
    liketechnik committed Jul 6, 2022
    Copy the full SHA
    deb6e9e View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2022

  1. tooling: extract repo location inside container into variable

    @liketechnik
    liketechnik committed Jul 16, 2022
    Copy the full SHA
    9fe66b5 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2022

  1. tooling: replace missing hardcoded /data with variable 

    Co-authored-by: Carsten Gips <cagix@fh-bielefeld.de>
    @liketechnik @cagix
    liketechnik and cagix committed Jul 18, 2022
    Copy the full SHA
    8763939 View commit details
    Browse the repository at this point in the history

  2. tooling(delete-rem-tags): pass git commit info (#19) 

    * tooling(delete-rem-tags): pass git commit info

Passes git author information via environment variables into the docker
container, in order to ensure commits done by the script have correct
author information.

* tooling(delete-rem-tags): pass git full commit info

Pass not only author information, but committer information too, since
git seems to be *sometimes* unhappy with only author information, for
whatever reason.
    @liketechnik
    liketechnik committed Jul 18, 2022
    Copy the full SHA
    af9aefb View commit details
    Browse the repository at this point in the history

  3. tooling: makefile formatting 

    Co-authored-by: Carsten Gips <cagix@fh-bielefeld.de>
    @liketechnik @cagix
    liketechnik and cagix committed Jul 18, 2022
    Copy the full SHA
    3248a85 View commit details
    Browse the repository at this point in the history

  4. tooling: makefile formatting 

    Co-authored-by: Carsten Gips <cagix@fh-bielefeld.de>
    @liketechnik @cagix
    liketechnik and cagix committed Jul 18, 2022
    Copy the full SHA
    d608c7a View commit details
    Browse the repository at this point in the history

  5. tooling: makefile formatting 

    Co-authored-by: Carsten Gips <cagix@fh-bielefeld.de>
    @liketechnik @cagix
    liketechnik and cagix committed Jul 18, 2022
    Copy the full SHA
    fa49293 View commit details
    Browse the repository at this point in the history