joakin

# If you don't remember the exact path/name, search the log for deleted files
git log --diff-filter=D --summary | grep delete
# Find the file you want to get from the ouput, and use the path
# Find the commits that involved that path
git log --all -- some/path/to/deleted.file
# Bring the file back to life to the current repo (sha commit of parent of commit that deleted)
git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file

tjmapes

{% if section.settings.announcement_visibility %}
<style>
    .announcement {
        font-size:{{ section.settings.announcement_text_size }}px; 
        background-color: {{ section.settings.announcement_bg_color }}; 
        border-bottom: {{ section.settings.announcement_border_size}}px solid {{ section.settings.announcement_border_color }};
        padding: {{ section.settings.announcement_padding}}px;
        text-align: {{ section.settings.announcement_text_align }};
    }
    .announcement p {color: {{ section.settings.announcement_text_color }};}