Skip to content
This repository has been archived by the owner on Oct 8, 2020. It is now read-only.

Xgit.Util.ConfigFile.get_entries/2: Implement filtering. #294

Merged
merged 2 commits into from
Feb 2, 2020

Conversation

scouten
Copy link
Collaborator

@scouten scouten commented Feb 2, 2020

Changes in This Pull Request

Add filtering based on section with optional refinements for subsection and name.

Checklist

  • This PR represents a single feature, fix, or change.
  • All applicable changes have been documented.
  • There is test coverage for all changes.
  • All cases where a literal value is returned use the cover macro to force code coverage.
  • Any code ported from jgit maintains all existing copyright and license notices. n/a
  • If new files are ported from jgit, the path to the corresponding file(s) is included in the header comment. n/a
  • Any TO DO items (or similar) have been entered as GitHub issues and the link to that issue has been included in a comment. n/a

@scouten scouten self-assigned this Feb 2, 2020
@codecov
Copy link

codecov bot commented Feb 2, 2020

Codecov Report

Merging #294 into master will not change coverage.
The diff coverage is 100%.

Impacted file tree graph

@@          Coverage Diff          @@
##           master   #294   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files          30     30           
  Lines        1561   1568    +7     
=====================================
+ Hits         1561   1568    +7
Impacted Files Coverage Δ
lib/xgit/util/config_file.ex 100% <100%> (ø) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f8fe00e...d804c36. Read the comment docs.

@scouten scouten merged commit 3e0b807 into master Feb 2, 2020
@scouten scouten deleted the config_file+get_entries+filters branch February 2, 2020 19:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant