search

FormalTheology / GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence
437 stars 37 forks source link

Leibniz/Lenzen initial commit #10

Closed MatthiasBentert closed 7 years ago

MatthiasBentert commented 8 years ago

Will it work this time?

ceilican commented 8 years ago

Hi Matthias. It worked in the sense that your files are included in the pull request. However, your pull request is also changing the mode of many files from 100755 (regular executable file) to 100664 (regular non-executable file). Have a look here: https://github.com/FormalTheology/GoedelGod/pull/10/files

Did you do this intentionally? If not, I suspect that your operating system did this automatically for you when you dowloaded/cloned the repository to your local computer.

It seems that your pull request is also deleting many files (e.g. "Literature/Adams - Introductory Note to *1970.pdf"). These files shouldn't be deleted.

Before I merge your pull request, could you revert these mode changes and submit a pull request having only your 2 files? For someone who is just starting to use git/Github, this can be hard to do. If you have friends/colleagues/tutors who have been using git for a longer time, I suggest that you contact them to learn how to do this kind of stuff.

You could consider using a user interface for git such as SourceTree, which would allow you to have a more visual control of what you include in your commits.