Skip to content

Let the user know if there have been changes to the make-files repo. #87

Description

@jmalloc

As it stands there's no notification that the cached makefiles in a project are out of date.

I don't think it's worth making this too fancy, just do a HEAD of the download URL and compare the ETag, something like that.

Perhaps on make precommit would be best?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions