Skip to content

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

@jmalloc

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?

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