Missing copyright

[sravyamks]

Pull request checklist

Please check if your PR fulfills the following requirements:

• Tests for the changes have been added (for bug fixes / features)
• Docs have been reviewed and added / updated if needed (for bug fixes / features)
• Build was run locally and any changes were pushed
• Lint has passed locally and any fixes were made for failures

Pull request type

Please check the type of change your PR introduces:

• Bugfix
• Feature
• Code style update (formatting, renaming)
• Refactoring (no functional changes, no api changes)
• Build related changes
• Documentation content changes
• Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Does this introduce a breaking change?

• Yes
• No

Other information

[sdimitro]

Similar feedback to previous commit :-) . Once that is done I'll go ahead and merge this.

[ahrens]

Is this something that we could request to be added upstream?

[sdimitro]

@ahrens The upstream drgn repository doesn't generate deb packages and does not have a debian folder in the root directory. Thus this commit by itself cannot make it upstream.

Now if the question was whether we should request upstream drgn to have a debian directory for people who want to generate packages, I believe that we could do that. It would take some effort though as we can't just use that try to upstream our debian directory. The reason is that our directory's contents are pretty minimal and specific because they depend on functionality provided by linux-pkg which builds the package for us.